For faster navigation, this Iframe is preloading the Wikiwand page for 实数线.

实数线

数学上,实数轴就是实数的集合 R。然而,这一术语通常在 R 被当作某种空间(诸如拓扑空间向量空间)的时候使用。尽管至少早在古希腊时代,人们就开始研究实数线,但直到1872年,它才被严格地定义。而自始至终,它一直是在数学的许多分支中扮演重要角色的实例。

定义

[编辑]

实数线具有一个标准拓扑,它可以通过两种等价的方法引入。

  • 第一,实数满足全序关系,它们具有序拓扑
  • 第二,实数能够通过绝对值 的度量转换到度量空间。这一度量给出 R 上等价于序拓扑的拓扑。

应用

[编辑]

它既是可缩空间局部紧致空间,也是仿紧致空间第二可数空间。 它还具有标准可微结构,使它成为可微流形。 (由于可微同构,该拓扑空间只支持一个可微结构。) 事实上,R 是历史上研究这些数学结构的第一个实例,它启示了现代数学这些分支。 (实际上,上述这些术语中的其中一些在没有 R 的情况下甚至不能被定义。)

  • 作为向量空间,实数线是实数 R(即其自身)上的 1 维向量空间

它具有标准内积,使它成为欧几里得空间。 (这个内积就是普通的实数的乘法。) 作为向量空间,它并不引起注意。实际上是 2 维欧几里得空间首先被作为向量空间进行研究的。 然而,仍然可以说,由于向量空间首先是在 R 上进行研究的,它启示了线性代数

  • R 也是环,甚至是的主要实例。

实数完备域实际上是第一个被研究的域,所以它也启示了抽象代数。 然而,在纯代数文献中,R 几乎不被称为“线”。

更多信息,请参见实数

相关条目

[编辑]

参考文献

[编辑]
{{bottomLinkPreText}} {{bottomLinkText}}
实数线
Listen to this article

This browser is not supported by Wikiwand :(
Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience.
Please download and use one of the following browsers:

This article was just edited, click to reload
This article has been deleted on Wikipedia (Why?)

Back to homepage

Please click Add in the dialog above
Please click Allow in the top-left corner,
then click Install Now in the dialog
Please click Open in the download dialog,
then click Install
Please click the "Downloads" icon in the Safari toolbar, open the first download in the list,
then click Install
{{::$root.activation.text}}

Install Wikiwand

Install on Chrome Install on Firefox
Don't forget to rate us

Tell your friends about Wikiwand!

Gmail Facebook Twitter Link

Enjoying Wikiwand?

Tell your friends and spread the love:
Share on Gmail Share on Facebook Share on Twitter Share on Buffer

Our magic isn't perfect

You can help our automatic cover photo selection by reporting an unsuitable photo.

This photo is visually disturbing This photo is not a good choice

Thank you for helping!


Your input will affect cover photo selection, along with input from other users.

X

Get ready for Wikiwand 2.0 🎉! the new version arrives on September 1st! Don't want to wait?