比浏览器更快的访问！
21 关系: 基數，反函數，双射，子集，实数，包含映射，到达域，單態射，函数，范畴论，自然對數，集合，集合划分，集合范畴，选择公理，John Wiley & Sons，恆等函數，換質換位律，满射，指数函数，数学。
基數
#重定向 基数.
反函數
在數學裡，反函數為對一給定函數做逆運算的函數。更正式些地說，設f為一函數，其定義域為X，值域為Y。如果存在一函數g，其定義域和值域分別為Y,\, X，並對每一x \in X有： 則稱g為f的反函數，記之為f^。注意上標「−1」指的並不是冪，跟在三角學裡特指\sin x平方的\sin^2 x不同。 例如，若給定一函數f: x\mapsto 3x+2，則其反函數為f^: x\mapsto\frac。 若一函數有反函數，此函數便稱為可逆的。.
双射
數學中，一個由集合X映射至集合Y的函數，若對每一在Y內的y，存在唯一一個在X內的x与其对应，則此函數為對射函數。 換句話說，f為雙射的若其為兩集合間的一一對應，亦即同時為單射和滿射。 例如，由整數集合\Z至\Z的函數\operatorname，其將每一個整數x連結至整數\operatorname(x).
子集
子集，為某個集合中一部分的集合，故亦稱部分集合。 若A和B为集合，且A的所有元素都是B的元素，则有：.
实数
实数，是有理數和無理數的总称，前者如0、-4、81/7；后者如\sqrt、\pi等。实数可以直观地看作小數（有限或無限的），它們能把数轴「填滿」。但僅僅以枚舉的方式不能描述實數的全體。实数和虚数共同构成复数。 根据日常经验，有理數集在數軸上似乎是「稠密」的，于是古人一直认为用有理數即能滿足測量上的實際需要。以邊長為1公分的正方形為例，其對角線有多長？在規定的精度下（比如誤差小於0.001公分），總可以用有理數來表示足夠精確的測量結果（比如1.414公分）。但是，古希臘畢達哥拉斯學派的數學家發現，只使用有理數無法完全精確地表示這條對角線的長度，這徹底地打擊了他們的數學理念；他們原以為：.
包含映射
在數學裡，若A為B的子集，則其包含映射為一函數，其將A的每一元素映射至B內的同一元素： 「有鉤箭頭」\hookrightarrow 有時被用來標記一內含映射。 此一及其他類似的由子結構映射的單射函數有時會被稱為自然單射。 給定任一於對象X和Y之間的態射，若存在一映射至其定義域的內含映射i:A→X，則可形成一f的限制/fi:A→Y。在許多的例子內，亦可以建立一映射至陪域的內含映射R→Y，其中R為f值域的子集。.
到达域
對應域(codomain)，或稱為目標集合(target set)。 在數學上，一個函數的對應域指的是至少包含所有此函數的輸出值的一個集合。若一函數f\colon X \rightarrow Y，則Y是該函數的對應域。 f的值域是Y的一個子集，若f是一個滿射函數(surjective function)，則f的對應域和值域相等，反之則代表有y \in Y不存在於f的值域中，使得方程式f(x).
單態射
在範疇論裡，一個態射被稱之為單態射，則該態射為一具左消去律的態射。亦即，給定一單態射，則對所有的態射，均能使得 單態射是單射函數（或稱為一對一函數）在範畤論裡的延伸。單態射的對偶概念為滿態射，後者為滿射函數的延伸。一態射於範疇C 裡為單態射，則該態射於對偶範疇Cop 裡為滿態射。.
函数
函數在數學中為兩集合間的一種對應關係：輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素。例如實數x對應到其平方x2的關係就是一個函數，若以3作為此函數的輸入值，所得的輸出值便是9。 為方便起見，一般做法是以符號f,g,h等等來指代一個函數。若函數f以x作為輸入值，則其輸出值一般寫作f(x)，讀作f of x。上述的平方函數關係寫成數學式記為f(x).
范畴论
疇論是數學的一門學科，以抽象的方法來處理數學概念，將這些概念形式化成一組組的「物件」及「態射」。數學中許多重要的領域可以形式化成範疇，並且使用範疇論，令在這些領域中許多難理解、難捉摸的數學結論可以比沒有使用範疇還會更容易敘述及證明。 範疇最容易理解的一個例子為集合範疇，其物件為集合，態射為集合間的函數。但需注意，範疇的物件不一定要是集合，態射也不一定要是函數；一個數學概念若可以找到一種方法，以符合物件及態射的定義，則可形成一個有效的範疇，且所有在範疇論中導出的結論都可應用在這個數學概念之上。 範疇最簡單的例子之一為广群，其態射皆為可逆的。群胚的概念在拓撲學中很重要。範疇現在在大部分的數學分支中都有出現，在理論電腦科學的某些領域中用于對應資料型別，而在數學物理中被用來描述向量空間。 範疇論不只是對研究範疇論的人有意義，對其他數學家而言也有著其他的意思。一個可追溯至1940年代的述語「一般化的抽象廢話」，即被用來指範疇論那相對於其他傳統的數學分支更高階的抽象化。.
自然對數
自然对数（Natural logarithm）是以e為底數的对数函数，標記作ln(x)或loge(x)，其反函数是指數函數ex。.
集合
集合可以指：.
集合划分
在数学中，集合X的划分是把X分割到覆盖了X的全部元素而又不重叠的“部分”或“块”或“单元”中。更加形式的说，这些“单元”對于被划分的集合是既又相互排斥的。.
集合范畴
在範疇論這個數學領域中，集合範疇（標記為 Set）是一個對象為集合的範疇。集合 A 及 B 之間的態射族包含所有從 A 映射至 B 的函數。 集合範疇是許多其他範疇（如其態射為群同態的群範疇）的基礎，這些範疇均是在集合範疇的對象上附加其他結構，並限制其態射為特定函數而成。.
选择公理
选择公理（Axiom of Choice，縮寫AC）是数学中的一条集合论公理。这条公理声明，对所有非空指标集族 (S_i)_，总存在一个索引族 (x_i)_，对每一个 i \in I，均有 x_i \in S_i。选择公理最早于1904年，由恩斯特·策梅洛为证明良序定理而公式化完成。 非正式地說，选择公理声明：給定一些盒子（可以是無限個），每个盒子中都含有至少一个小球，那么可以作出这样一种选择，使得可从每个盒子中恰好选出一个小球。在很多情况下这样的选择可不借助选择公理；尤其是在“盒子个数有限”和“存在具體的選擇規則”（當每個盒子都恰好只有一个小球具有某項特征）这两种情况下。再举一个例子，假设有许多（甚至是无限）双鞋子，则我们可以选取每双鞋左边的鞋子构成一个具体的选择。然而，假设有无限双袜子（假设每双袜子都没有可区分的特征），在这种情况下，有效的选择只能通过选择公理得到。 尽管曾具有争议性，选择公理現在已被大多数数学家毫无保留地使用着，例如带有选择公理的策梅洛-弗兰克尔集合论（ZFC）。数学家们使用选择公理的原因是，有许多被普遍接受的数学定理，比如是吉洪诺夫定理，都需要选择公理来证明。現代的集合论学家也研究与选择公理相矛盾的公理，例如。 在一些構造性數學的理論中會避免选择公理的使用，不過也有的將选择公理包括在內。.
John Wiley & Sons
#重定向 約翰威立.
新！!: 单射和John Wiley & Sons · 查看更多 »
恆等函數
在數學裡，恆等函數總是傳回和其輸入值相同的函數值。換句話說，恆等函數為函數f(x).
換質換位律
換質換位律（contraposition, transposition），又稱異質位換律、換質位法，是古典邏輯的一種結構變換推理，一般用於改變條件命題的結構。.
满射
满射或蓋射（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.
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
