25 关系: 基數,同胚,同构,实数,對稱群,当且仅当,到达域,函数,公理化集合论,等势,置换群,置換,群,自然對數,集合,集合范畴,投影映射,恆等函數,满射,指数函数,有限集合,映射,无穷,数学,整数。
基數
#重定向 基数.
同胚
在拓扑学中,同胚(homeomorphism、topological isomorphism、bi continuous function)是两个拓扑空间之间的双连续函数。同胚是拓扑空间范畴中的同构;也就是说,它们是保持给定空间的所有拓扑性质的映射。如果两个空间之间存在同胚,那么这两个空间就称为同胚的,从拓扑学的观点来看,两个空间是相同的。 大致地说,拓扑空间是一个几何物体,同胚就是把物体连续延展和弯曲,使其成为一个新的物体。因此,正方形和圆是同胚的,但球面和环面就不是。有一个笑话是说,拓扑学家不能区分咖啡杯和甜甜圈,这是因为一个足够柔软的甜甜圈可以捏成咖啡杯的形状(见图)。.
同构
在抽象代数中,同构(isomorphism)指的是一个保持结构的双射。在更一般的范畴论语言中,同构指的是一个态射,且存在另一个态射,使得两者的复合是一个恒等态射。 正式的表述是:同构是在数学对象之间定义的一类映射,它能揭示出在这些对象的属性或者操作之间存在的关系。若两个数学结构之间存在同构映射,那么这两个结构叫做是同构的。一般来说,如果忽略掉同构的对象的属性或操作的具体定义,单从结构上讲,同构的对象是完全等价的。.
实数
实数,是有理數和無理數的总称,前者如0、-4、81/7;后者如\sqrt、\pi等。实数可以直观地看作小數(有限或無限的),它們能把数轴「填滿」。但僅僅以枚舉的方式不能描述實數的全體。实数和虚数共同构成复数。 根据日常经验,有理數集在數軸上似乎是「稠密」的,于是古人一直认为用有理數即能滿足測量上的實際需要。以邊長為1公分的正方形為例,其對角線有多長?在規定的精度下(比如誤差小於0.001公分),總可以用有理數來表示足夠精確的測量結果(比如1.414公分)。但是,古希臘畢達哥拉斯學派的數學家發現,只使用有理數無法完全精確地表示這條對角線的長度,這徹底地打擊了他們的數學理念;他們原以為:.
對稱群
对称群可以指:.
当且仅当
当且仅当(If and only if)(中国大陆又称作当且--仅当,臺灣又称作若且--唯若),在--邏輯中,逻辑算符反互斥或閘(exclusive or)是对两个运算元的一种邏輯分析类型,符号为XNOR或ENOR或\Leftrightarrow。与一般的邏輯或非NOR不同,當兩兩數值相同為是,而數值不同時為否。在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在,并且仅仅在这些条件成立的时候”之意,在英语中的对应标记为iff。“A当且仅当B”其他等价的说法有“当且仅当A則B”;“A是B的充分必要条件(充要條件)”。 一般而言,當我們看到“A当且仅当B”,我們可以知道“如果A成立時,則B一定成立;如果B成立時,則A也一定成立”;“如果A不成立時,則B一定不成立;如果B不成立時,則A也一定不成立”。.
到达域
對應域(codomain),或稱為目標集合(target set)。 在數學上,一個函數的對應域指的是至少包含所有此函數的輸出值的一個集合。若一函數f\colon X \rightarrow Y,則Y是該函數的對應域。 f的值域是Y的一個子集,若f是一個滿射函數(surjective function),則f的對應域和值域相等,反之則代表有y \in Y不存在於f的值域中,使得方程式f(x).
函数
函數在數學中為兩集合間的一種對應關係:輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素。例如實數x對應到其平方x2的關係就是一個函數,若以3作為此函數的輸入值,所得的輸出值便是9。 為方便起見,一般做法是以符號f,g,h等等來指代一個函數。若函數f以x作為輸入值,則其輸出值一般寫作f(x),讀作f of x。上述的平方函數關係寫成數學式記為f(x).
公理化集合论
在數學中,公理化集合论是集合論透過建立一階邏輯的嚴謹重整,以解決樸素集合論中出現的悖論。集合論的基礎主要由德國數學家格奧爾格·康托爾在19世紀末建立。.
等势
在数学领域中,两个集合 A 和 B 是等势的(equinumerous),当它们有相同的势的时候,就是说如果存在一个双射 f: A → B。这通常指示为 两个有限集是等势的,当且仅当它们的元素个数相等。 例如, 势的研究中经常叫做等势性(equinumerosity)。有时还使用术语 equipotent 或 equipollent。 在集合范畴中,带有函数作为态射的所有集合的范畴,在两个集合之间的同构正好是一个双射,而两个集合正好是等势的,如果它们在这个范畴中是同构的。.
置换群
数学上,一个置换群是一个群 G ,其元素是一个给定集 M 的置换,而其群作用是 G 中的置换(可以看作是从M到自身的双射)的复合;其关系经常写作 (G,M) 。注意所有置换的群是对称群;置换群通常是指对称群的一个子群。 n 个元素的置换群记为 S_n ;若 M 是任意有限或无限集合,则所有 M 的置换组成的对称群通常写作 \text(M) 。 置换群到被置换的元素的应用称为群作用;它在对称性和组合论以及数学的其他很多分支中有应用。.
置換
排列(Permutation)是將相異物件或符號根據確定的順序重排。每個順序都稱作一個排列對於不排序的情形,請見條目組合。。例如,從一到六的數字有720種排列,對應於由這些數字組成的所有不重複亦不闕漏的序列,例如"4, 5, 6, 1, 2, 3" 與1, 3, 5, 2, 4, 6。 置換的廣義概念在不同語境下有不同的形式定義:.
群
在數學中,群是由一個集合以及一個二元運算所組成的,符合下述四个性质(称为“群公理”)的代數結構。这四个性质是封闭性、結合律、單位元和对于集合中所有元素存在逆元素。 很多熟知的數學結構比如數系統都遵从群公理,例如整數配備上加法運算就形成一個群。如果将群公理的公式從具体的群和其運算中抽象出來,就使得人们可以用靈活的方式来處理起源于抽象代數或其他许多数学分支的實體,而同时保留對象的本質結構性质。 群在數學內外各個領域中是無處不在的,这使得它們成為當代數學的组成的中心原理。 群與對稱概念共有基礎根源。對稱群把幾何物體的如此描述物体的對稱特征:它是保持物體不變的變換的集合。這種對稱群,特別是連續李群,在很多學術學科中扮演重要角色。例如,矩陣群可以用來理解在狹義相對論底層的基本物理定律和在分子化學中的對稱現象。 群的概念引發自多項式方程的研究,由埃瓦里斯特·伽罗瓦在1830年代開創。在得到來自其他領域如數論和幾何学的貢獻之后,群概念在1870年左右形成并牢固建立。現代群論是非常活躍的數學學科,它以自己的方式研究群。為了探索群,數學家發明了各種概念來把群分解成更小的、更好理解的部分,比如子群、商群和單群。除了它們的抽象性質,群理論家還從理論和計算兩種角度來研究具體表示群的各種方式(群的表示)。對有限群已經發展出了特別豐富的理論,這在1983年完成的有限簡單群分類中達到頂峰。从1980年代中叶以来,将有限生成群作为几何对象来研究的几何群论,成为了群论中一个特别活跃的分支。.
自然對數
自然对数(Natural logarithm)是以e為底數的对数函数,標記作ln(x)或loge(x),其反函数是指數函數ex。.
集合
集合可以指:.
集合范畴
在範疇論這個數學領域中,集合範疇(標記為 Set)是一個對象為集合的範疇。集合 A 及 B 之間的態射族包含所有從 A 映射至 B 的函數。 集合範疇是許多其他範疇(如其態射為群同態的群範疇)的基礎,這些範疇均是在集合範疇的對象上附加其他結構,並限制其態射為特定函數而成。.
投影映射
#重定向 光雕投影.
恆等函數
在數學裡,恆等函數總是傳回和其輸入值相同的函數值。換句話說,恆等函數為函數f(x).
满射
满射或蓋射(surjection、onto),或稱满射函数或映成函數,一个函数f:X\rightarrow Y为满射,則对于任意的陪域 Y 中的元素 y,在函数的定义域 X 中存在一點 x 使得 f(x).
指数函数
指数函数(Exponential function)是形式為b^x的數學函数,其中b是底數(或稱基數,base),而x是指數(index / exponent)。 現今指數函數通常特指以\mbox為底數的指數函數(即\mbox^x),為数学中重要的函数,也可寫作\exp(x)。这里的\mbox是数学常数,也就是自然对数函数的底数,近似值为2.718281828,又称为欧拉数。 作为实数变量x的函数,y.
有限集合
数学中,一个集合被称为有限集合,簡單來說就是元素個數有限,嚴格而言則是指有一个自然数n使该集合与集合之间存在双射。例如 -15到3之间的整数组成的集合,这个集合有19个元素,它跟集合存在雙射,所以它是有限的。不是有限的集合称为无限集合。 也就是说如果一个集合的基数是自然数,那这个集合就是有限的。所有的有限集合都是可数的,但并不是所有的可数集都是有限的,例如所有素数的集合。 有一个定理(戴德金定理)是:一个集合是有限的当且仅当不存在一个该集合与它的任何一个真子集之间的双射。 I I.
映射
映射,或者射影,在数学及相关的领域经常等同于函数。基于此,部分映射就相当于部分函数,而完全映射相当于完全函数。 在很多特定的数学领域中,这个术语用来描述具有与该领域相关联的特定性质函数,例如,在拓扑学中的连续函数,线性代数中的线性变换等等。.
无穷
無窮或無限,來自於拉丁文的「infinitas」,即「沒有邊界」的意思。其數學符號為∞。它在科學、神學、哲學、數學和日常生活中有著不同的概念。通常使用這個詞的時候並不涉及它的更加技術層面的定義。 在神學方面,根據書面記載無窮這個符號最早被用於某些秘密宗教,通常代表人類中的神性,而書寫此符號時兩圓的不對等代表人神間的差距,例如神學家邓斯·司各脱(Duns Scotus)的著作中,上帝的無限能量是運用在無約束上,而不是運用在無限量上。在哲學方面,無窮可以歸因於空間和時間。在神學和哲學兩方面,無窮又作為無限,很多文章都探討過無限、絕對、上帝和芝諾悖論等的問題。 在數學方面,無窮與下述的主題或概念相關:數學的極限、阿列夫數、集合論中的類、、羅素悖論、超實數、射影幾何、擴展的實數軸以及絕對無限。在一些主題或概念中,無窮被認為是一個超越邊界而增加的概念,而不是一個數。.
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科,从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用,由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念,為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善,早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見,而在古希臘那裡有更為嚴謹的處理。從那時開始,數學的發展便持續不斷地小幅進展,至16世紀的文藝復興時期,因为新的科學發現和數學革新兩者的交互,致使數學的加速发展,直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日,數學使用在不同的領域中,包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學,有時亦會激起新的數學發現,並導致全新學科的發展,例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學,就是數學本身的实质性內容,而不以任何實際應用為目標。雖然許多研究以純數學開始,但其过程中也發現許多應用之处。.
整数
整数,是序列中所有的数的统称,包括负整数、零(0)与正整数。和自然數一樣,整數也是一個可數的無限集合。這個集合在数学上通常表示粗體Z或\mathbb,源于德语单词Zahlen(意为“数”)的首字母。 在代數數論中,這些屬於有理數的一般整數會被稱為有理整數,用以和高斯整數等的概念加以區分。.