构造实数
读者很可能对实数有自己的看法 。 任何对实数的精确解释或说明都属于哲学范畴 。 从数学角度 , 我们现在提出一个精确的实数模型的许多构造之一 。 与任何模型的构建一样 , 一个人不可能从无到有地构建某些东西 。 因此 , 我们假定读者接受有理数(一个模型)的存在 , 且看法一致 , 但对实数系统却一无所知 。 我们将给出实数的精确结构 。
为了从有理数推导出实数结构 , 我们知道有理数在实数中是密集的 , 意思是在任意两个实数之间存在一个有理数 。 这个简单的观察引出了一个关键的事实:每一个实数都是有理数序列的极限 。 因此 , 有理数的收敛序列使我们能够得到所有的实数 。 由于许多不同的有理数数列都可能收敛于同一实数 。 我们需要在它上面引入一个等价关系 , 它识别两个有理数序列 , 如果它们收敛于相同的实数 。
综上所述 , 如果S表示所有的有理数序列收敛的集合 , 那么我们期望能够确定一个等价关系~ S , 使S/ ~形成实数的模型 。 然而 , 为了在不进入循环论证的情况下迈出第一步 , 我们必须首先能够在没有任何实数先验知识的情况下识别出所有有理数序列中的收敛序列 。 这是通过引用柯西数列的概念来完成的 , 柯西数列是实数数列的一个条件 , 众所周知 , 它等价于收敛 。 关键的观察是 , 有理数序列的柯西条件可以完全不提及实数 。
超越数
在数学中 , 超越数是非代数数 , 也就是说 , 不是一个有限次有理数多项式的根 。 最著名的超越数是π和e 。
虽然只有少数几类超越数是已知的 , 超越数并不罕见 。 事实上 , 几乎所有的实数和复数都是超越的 , 因为代数数构成了可数集 , 而实数集和复数集都是不可数集 , 因此大于任何可数集 。 所有超越的实数(也称为实数超越的无理数或超越的无理数)都是无理数 , 因为所有有理数都是代数数 , 但并不是所有的无理数都是超越的 。 因此 , 实数集由有理数、代数无理数和超越实数组成 。 例如 , 2的平方根是无理数 , 但它不是超越数 。 黄金比例是另一个非超越数的无理性数 。
约瑟夫·刘维尔直到1844年才确立了超越数的存在 , 不久之后 , 他构建了第一个明确的超越数的例子 。 虽然我们对超越数已经了解了很多 , 但π +e是否是代数的还是未知的 。
1884年 , 继刘维尔证明了超越数的存在之后不久 , 康托不仅证明了超越数的存在 , 而且还证明了绝大多数实数在某种意义上是超越的 。 康托使用的技术是超限计数法 。 利用集合的基数概念 , 康托计算了有多少个
【希尔伯特空间,代数、拓扑和几何的融合,是量子力学的数学基础】线性空间
线性空间 , 也被称为向量空间 , 可能是数学空间中最简单的概念 。 当被认为是模拟实际的物理空间时 , 线性空间似乎在所有方向上都是相同的 , 并且完全没有任何曲率 。 线性空间 , 以及与线性变换或线性算子密切相关的概念 , 是基本的对象 。 例如 , 函数在一点上的导数最好理解为切线空间上的线性算子 , 特别是对于多变量函数 。 可微流形是非常复杂的空间 , 但在每一点上 , 它们都是局部线性的 。 这可能有点夸张 , 但众所周知 , 如果一个问题可以线性化 , 那么它就等于解决了 。
拓扑空间
拓扑很容易定义 , 但
推荐阅读
- 大西洋和太平洋的神奇分界线,两侧海水泾渭分明,难道是刻意安排
- 食人鱼如此可怕,为什么没有在亚马逊河泛滥
- 科学家表示,数万亿吨的水流入到地球内部,发生了什么?
- 研究表明:比海平面上升更可怕的是,未来海平面可能下降100米!
- 英国女子遭遇网络骗子,对方假冒其孩子要求打钱,智斗骗子终取胜
- 上层是淡水,下层却是咸水,努乌克湖为什么会形成独特的湖下湖?
- 世界上最大的几种鱼是什么呢?
- 一座巨大的冰山向海洋倾倒了近 1 万亿吨淡水。影响可能是巨大的
- 报纸急寻10岁女孩,发布人竟是周恩来,刘少奇见到女孩后眼眶红了
- 霍金预言果然没说错?地球出现2大异象,人类应该何去何从