比浏览器更快的访问！
31 关系: 同胚，向量积，向量空间，复数，对偶空间，层，巴拿赫空间，交换图表，交換律，代数簇，微分同胚，微分流形，切丛，維度，纤维丛，约翰·米尔诺，线性映射，结构群的约化，直积，连通空间，范畴，自然数，恆等函數，核 (代数)，模，法丛，满射，流形，数学，拓扑空间，态射。
同胚
在拓扑学中，同胚(homeomorphism、topological isomorphism、bi continuous function)是两个拓扑空间之间的双连续函数。同胚是拓扑空间范畴中的同构；也就是说，它们是保持给定空间的所有拓扑性质的映射。如果两个空间之间存在同胚，那么这两个空间就称为同胚的，从拓扑学的观点来看，两个空间是相同的。 大致地说，拓扑空间是一个几何物体，同胚就是把物体连续延展和弯曲，使其成为一个新的物体。因此，正方形和圆是同胚的，但球面和环面就不是。有一个笑话是说，拓扑学家不能区分咖啡杯和甜甜圈，这是因为一个足够柔软的甜甜圈可以捏成咖啡杯的形状（见图）。.
向量积
#重定向 叉积.
向量空间
向量空間是现代数学中的一个基本概念。是線性代數研究的基本对象。 向量空间的一个直观模型是向量几何，幾何上的向量及相关的運算即向量加法，標量乘法，以及对運算的一些限制如封闭性，结合律，已大致地描述了“向量空間”这个數學概念的直观形象。 在现代数学中，“向量”的概念不仅限于此，满足下列公理的任何数学对象都可被当作向量处理。譬如，實系數多項式的集合在定义适当的运算后构成向量空間，在代数上处理是方便的。单变元实函数的集合在定义适当的运算后，也构成向量空间，研究此类函数向量空间的数学分支称为泛函分析。.
复数
#重定向 复数 (数学).
对偶空间
在數學裡，任何向量空間V都有其對應的對偶向量空間（或簡稱為對偶空間），由V的線性泛函組成。此對偶空間俱有一般向量空間的結構，像是向量加法及純量乘法。由此定義的對偶空間也可稱之為代數對偶空間。在拓撲向量空間的情況下，由連續的線性泛函組成的對偶空間則稱之為連續對偶空間。 对偶空間是 行向量（1×n）與列向量（n×1）的關係的抽象化。這個結構能夠在無限維度空間進行並為测度,分佈及希爾伯特空間提供重要的觀點。对偶空間的應用是泛函分析理論的特徵。傅立叶變換亦內蘊对偶空間的概念。.
层
层可以指：.
巴拿赫空间
在數學裡，尤其是在泛函分析之中，巴拿赫空間是一個完備賦範向量空間。更精確地說，巴拿赫空間是一個具有範數並對此範數完備的向量空間。 巴拿赫空間有兩種常見的類型：「實巴拿赫空間」及「複巴拿赫空間」，分別是指將巴拿赫空間的向量空間定義於由實數或複數組成的--之上。 許多在數學分析中學到的無限維函數空間都是巴拿赫空間，包括由連續函數（緊緻赫斯多夫空間上的連續函數）組成的空間、由勒貝格可積函數組成的Lp空間及由全純函數組成的哈代空間。上述空間是拓撲向量空間中最常見的類型，這些空間的拓撲都自來其範數。 巴拿赫空間是以波蘭數學家斯特凡·巴拿赫的名字來命名，他和漢斯·哈恩及愛德華·赫麗於1920-1922年提出此空間。.
交换图表
在数学领域，尤其是范畴论中，通常使用以对象为顶点、态射为边的交换图表来直观的表达一些性质，尤其是泛性质。 在图表中，复合连接任意两个对象的不同路径上的态射，所得的结果均相等，则称此图表可交换。同时，按照惯例，实线通常表示任意给定的态射，虚线则表示存在或唯一存在的态射。.
交換律
交換律(Commutative property)是被普遍使用的一個數學名詞，意指能改變某物的順序而不改變其最終結果。交換律是大多數數學分支中的基本性質，而且許多的數學證明需要倚靠交換律。簡單運算的交換律許久都被假定存在，且沒有給定其一特定的名稱，直到19世紀，數學家開始形式化數學理論之後，交換律才被聲明。.
代数簇
代数簇，亦作代數多樣體，是代数几何学上多项式集合的公共零点解的集合。代数簇是经典（某种程度上也是现代）代数几何的中心研究对象。 術語簇（variety）取自拉丁语族中詞源（cognate of word）的概念，有基於“同源”而“變形”之意。 历史上，代数基本定理建立了代数和几何之间的一个联系，它表明在复数域上的单变量的多项式由它的根的集合决定，而根集合是内在的几何对象。在此基础上，希尔伯特零点定理提供了多项式环的理想和仿射空间子集的基本对应。利用零点定理和相关结果，我们能够用代数术语捕捉簇的几何概念，也能够用几何来承载环论中的问题。.
微分同胚
在數學中，微分同胚是適用於微分流形範疇的同構概念。這是從微分流形之間的可逆映射，使得此映射及其逆映射均為光滑（即無窮可微）的。.
微分流形
光滑流形（），或称-微分流形（）、-可微流形（），是指一个被赋予了光滑结构的拓扑流形。一般的，如果不特指，微分流形或可微流形指的就是类的微分流形。可微流形在物理學中非常重要。特殊種類的可微流形構成了經典力學、廣義相對論和楊-米爾斯理論等物理理論的基礎。可以為可微流形開發微積分。可微流形上的微積分研究被稱為微分幾何。.
切丛
数学上，一个微分流形M的切丛(tangent bundle) T(M)是一个由M各點上切空間組成的向量丛，其總空間是各切空间的不交并集： 總空間T(M)每个元素都是一个二元组(x,v)，其中v是在点x的切空间Tx(M)內的一枚向量。 切丛有自然的2n维微分流形结构如下： 設：\pi\colon T(M) \to M\, 為自然的投影映射，将(x,v)映射到基点x； 若M是个n维流形，U是x的一个足夠小的邻域， φ:U→Rn是一个局部坐标卡， V是U在T(M)的前象V（V.
維度
维度，又稱维数，是数学中独立参数的数目。在物理学和哲学的领域内，指独立的时空坐标的数目。 0维是一點，沒有長度。1维是線，只有長度。2维是一個平面，是由長度和寬度（或曲線）形成面積。3维是2维加上高度形成「體積面」。雖然在一般人中習慣了整數维，但在碎形中維度不一定是整數，可能会是一个非整的有理数或者无理数。 我们周围的空间有3个维（上下、前后、左右）。我們可以往上下、東南西北移動，其他方向的移動只需用3個三维空間軸來表示。向下移就等於負方向地向上移，向西北移就只是向西和向北移的混合。 在物理學上時間是第四维，與三個空間维不同的是，它只有一個，且只能往一方向前進。 我们所居於的时空有四个维（3个空间轴和1个时间轴），根據愛因斯坦的概念稱為四维时空，我們的宇宙是由時间和空间構成，而這條時間軸是一條虛數值的軸。 弦理論認為我們所居於的宇宙實際上有更多的維度（通常10、11或24個）。但是這些附加的维度所量度的是次原子大小的宇宙。 维度是理论模型，在非古典物理学中这点更为明显。所以不用计较宇宙的维数是多少，只要方便描述就行了。 在物理學中，質的量纲通常以質的基本單位表示：例如，速率的量纲就是長度除以時間。.
纤维丛
纖維--束（fiber bundle 或 fibre bundle）又稱纖維--叢，在数学上，特别是在拓扑学中，是一个局部看来像直积空间，但是整体可能有不同的结构。每个纤维丛對應一个连续满射 \pi:E\rightarrow B E 和乘積空間 B × F 的局部類似性可以用映射 \pi 來說明。也就是說：在每個 E 的局部空間 U，都存在一個相同的F（F 稱作纖維空間），使得 \pi 限制在 U 上時 與直积空间 B × F 的投影 P:B\times F\mapsto B,\quad P(b, f).
约翰·米尔诺
约翰·米尔诺（John Milnor，），美国数学家。他的主要贡献在于微分拓扑、K-理论和动力系统及其著作。他曾获得1962年度菲尔兹奖、1989年度沃尔夫奖及2011年度阿贝尔奖。.
新！!: 向量丛和约翰·米尔诺 · 查看更多 »
线性映射
在数学中，线性映射（有的书上将“线性变换”作为其同义词，有的则不然）是在两个向量空间（包括由函数构成的抽象的向量空间）之间的一种保持向量加法和标量乘法的特殊映射。线性映射从抽象代数角度看是向量空间的同态，从范畴论角度看是在给定的域上的向量空间所构成的范畴中的态射。 “线性算子”也是与“线性映射”有关的概念。但是不同数学书籍上对“线性算子”的定义存在区别。在泛函分析中，“线性算子”一般被当做“线性映射”的同义词。而有的书则将“线性算子”定义为“线性映射”的自同态子类（详见下文）。为叙述方便，本条目在提及“线性算子”时，采用后一种定义，即将线性算子与线性映射区别开来。.
结构群的约化
数学中，特别是在主丛理论中，我们可问一个 G-丛能否“来自”一个子群 H 。这称为结构群的约化（Reduction of structure group，约化为 H），且对任何映射 H\to G 有意义，不必要求是包含（尽管使用了这个术语）。.
新！!: 向量丛和结构群的约化 · 查看更多 »
直积
在數學中，經常定義已知對象的直積（direct product）來給出新對象。例子有集合的乘積（參見笛卡爾積），群的乘積（下面描述），環的乘積和其他代數結構的乘積。拓撲空間的乘積是另一個例子。.
连通空间
拓扑空间X称为是连通的。当且仅当以下叙述之一成立：.
范畴
----或--疇可以指：.
自然数
数学中，自然数指用于计数（如「桌子上有三个苹果」）和定序（如「国内第三大城市」）的数字。用于计数时称之为基数，用于定序时称之为序数。 自然数的定义不一，可以指正整数 (1, 2, 3, 4, \ldots)，亦可以指非负整数 (0, 1, 2, 3, 4, \ldots)。前者多在数论中使用，后者多在集合论和计算机科学中使用，也是 标准中所采用的定义。 数学家一般以\mathbb代表以自然数组成的集合。自然数集是一個可數的，無上界的無窮集合。.
恆等函數
在數學裡，恆等函數總是傳回和其輸入值相同的函數值。換句話說，恆等函數為函數f(x).
核 (代数)
在归入线性代数的各种数学分支中，同态的核测量同态不及于单射的程度。 核的定义在不同上下文中采用不同的形式。但是在所有形式中，同态的核是平凡的（在与那个上下文有关的意义上），当且仅当这个同态是单射。同态基本定理（或第一同构定理）是应用于核所定义的商代数的采用了各种形式的一个定理。.
新！!: 向量丛和核 (代数) · 查看更多 »
模
在數學的抽象代數中，環上的模 (module over a ring)的概念是對向量空間概念的推廣，這裡不再要求向量空間裡的純量的代數結構是體(field)，進而放寬純量可以是環(ring)。 因此，模同向量空間一樣是加法交换群；在環元素和模元素之間定義了乘積運算，并且環元素和模元素的乘積是符合結合律的（在同環中的乘法一起用的時候）和分配律的。 模非常密切的關聯於群的表示理論。它們還是交換代數和同調代數的中心概念，并廣泛的用于代數幾何和代數拓撲中。.
法丛
在数学领域之微分几何中，法丛（normal bundle）是一个特殊的向量丛，得自一个嵌入或浸入，是切丛的补。.
满射
满射或蓋射（surjection、onto），或稱满射函数或映成函數，一个函数f:X\rightarrow Y为满射，則对于任意的陪域 Y 中的元素 y，在函数的定义域 X 中存在一點 x 使得 f(x).
流形
流形（Manifolds），是局部具有欧几里得空间性质的空间，是欧几里得空间中的曲线、曲面等概念的推广。欧几里得空间就是最简单的流形的实例。地球表面这样的球面则是一个稍微复杂的例子。一般的流形可以通过把许多平直的片折弯并粘连而成。 流形在数学中用于描述几何形体，它们为研究形体的可微性提供了一个自然的平台。物理上，经典力学的相空间和构造广义相对论的时空模型的四维伪黎曼流形都是流形的实例。位形空间中也可以定义流形。环面就是双摆的位形空间。 一般可以把几何形体的拓扑结构看作是完全“柔软”的，因为所有变形（同胚）会保持拓扑结构不变；而把解析几何结构看作是“硬”的，因为整体的结构都是固定的。例如一个多项式，如果你知道 (0,1) 区间的取值，则整个实数范围的值都是固定的，所以局部的变动会导致全局的变化。光滑流形可以看作是介于两者之间的模型：其无穷小的结构是“硬”的，而整体结构则是“柔软”的。这也许是中文译名“流形”的原因（整体的形态可以流动）。该译名由著名数学家和数学教育学家江泽涵引入。这样，流形的硬度使它能够容纳微分结构，而它的软度使得它可以作为很多需要独立的局部扰动的数学和物理的模型。.
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
拓扑空间
拓扑空间是一种数学结构，可以在上頭形式化地定義出如收敛、连通、连续等概念。拓扑空间在现代数学的各个分支都有应用，是一个居于中心地位的、统一性的概念。拓扑空间有独立研究的价值，研究拓扑空间的数学分支称为拓扑学。.
态射
数学上，态射（morphism）是两个数学结构之间保持结构的一种过程抽象。 最常见的这种过程的例子是在某种意义上保持结构的函数或映射。例如，在集合论中，态射就是函数；在群论中，它们是群同态；而在拓扑学中，它们是连续函数；在泛代数（universal algebra）的范围，态射通常就是同态。 对态射和它们定义于其间的结构（或对象）的抽象研究构成了范畴论的一部分。在范畴论中，态射不必是函数，而通常被视为两个对象（不必是集合）间的箭头。不像映射一个集合的元素到另外一个集合，它们只是表示域（domain）和陪域（codomain）间的某种关系。 尽管态射的本质是抽象的，多数人关于它们的直观（事实上包括大部分术语）来自于具体范畴的例子，在那里对象就是有附加结构的集合而态射就是保持这种结构的函数。.
