徽标
联盟百科
通讯
下载应用,请到 Google Play
新! 在您的Android™设备上下载联盟百科!
安装
比浏览器更快的访问!
 

平凡 (數學)

指数 平凡 (數學)

数学中,术语平凡或平凡的经常用于结构非常简单的对象(比如群或拓扑空间),有時亦會用明顯或乏趣這兩個詞代替,但对非数学工作者来说,它们有时可能比其他更复杂的对象更难想象或理解。 例如:.

29 关系: 单元素集合同义词始对象和终对象导数微分方程微积分学初等數論單位元唯一分解整環函数因數皮亚诺公理穷举法空集瑣碎論當然群證明费马大定理范畴论集合退化 (數學)泛函分析指数函数方程数学数学归纳法拓扑空间0

单元素集合

数学上,单元素集合是由唯一一个元素组成的集合。例如,集合 是个单元素集合。注意,集合诸如 也是单元素集合,唯一的元素是一个集合(这个集合可能本身不是单元素集合)。 一个集合是单元素集合,当且仅当它的势为1。在自然数的集合论定义中,数字 1 就是定义为单元素集合 。 在公理集合论中,单元素集合的存在性是空集公理和对集公理的结果:前者产生了空集 ,后者应用于对集 和 ,产生了单元素集合 。 若 A 是任意集合,S 是单元素集合,则存在唯一一个从 A 到 S的函数,该函数将所有 A 中的元素映射到 S 的单元素。 在范畴论中,单元素集合上构建的结构通常作为终对象或零对象:.

新!!: 平凡 (數學)和单元素集合 · 查看更多 »

同义词

同义词(synonym)或者更学术性的称呼同义异形是世界上各种语言都存在的一种现象。它指的是表达的意义相同或相近,但是表达形式不同的词汇。例如厕所和“茅房”就是不同词汇表示同一种东西。 不仅词汇有同义现象,不同语法结构的句子也可以表示同一个意义。例如:.

新!!: 平凡 (數學)和同义词 · 查看更多 »

始对象和终对象

在数学领域,范畴C的对象I称为始对象(或初始对象),若对任何对象X,从I到X的态射唯一,或者说,C(I,X)为单元素集合。终对象(或终止对象、终结对象)是始对象的对偶概念。范畴C的对象T称为终对象,若对任何对象X,从X到T的态射唯一。若某对象即是始对象又是终对象,则称其为零对象。.

新!!: 平凡 (數學)和始对象和终对象 · 查看更多 »

导数

导数(Derivative)是微积分学中重要的基礎概念。一个函数在某一点的导数描述了这个函数在这一点附近的变化率。导数的本质是通过极限的概念对函数进行局部的线性逼近。当函数f的自变量在一点x_0上产生一个增量h时,函數输出值的增量與自變量增量h的比值在h趋于0时的極限如果存在,即為f在x_0处的导数,记作f'(x_0)、\frac(x_0)或\left.\frac\right|_。例如在运动学中,物体的位移对于时间的导数就是物体的瞬时速度。 导数是函数的局部性质。不是所有的函数都有导数,一个函数也不一定在所有的点上都有导数。若某函数在某一点导数存在,则称其在这一点可导,否则称为不可导。如果函数的自变量和取值都是实数的话,那么函数在某一点的导数就是该函数所代表的曲线在這一点上的切线斜率。 对于可导的函数f,x \mapsto f'(x)也是一个函数,称作f的导函数。寻找已知的函数在某点的导数或其导函数的过程称为求导。反之,已知导函数也可以倒过来求原来的函数,即不定积分。微积分基本定理说明了求原函数与积分是等价的。求导和积分是一对互逆的操作,它们都是微积分学中最为基础的概念。.

新!!: 平凡 (數學)和导数 · 查看更多 »

微分方程

微分方程(Differential equation,DE)是一種數學方程,用來描述某一類函数與其导数之间的关系。微分方程的解是一個符合方程的函數。而在初等数学的代数方程裡,其解是常数值。 微分方程的应用十分广泛,可以解决许多与导数有关的问题 。物理中许多涉及变力的运动学、动力学问题,如空气的阻力為速度函數的落体运动等问题,很多可以用微分方程求解。此外,微分方程在化学、工程学、经济学和人口统计等领域都有应用。 数学领域对微分方程的研究着重在几个不同的面向,但大多数都是关心微分方程的解。只有少数简单的微分方程可以求得解析解。不过即使没有找到其解析解,仍然可以确认其解的部份性质。在无法求得解析解时,可以利用数值分析的方式,利用电脑来找到其数值解。 动力系统理论强调对于微分方程系统的量化分析,而许多数值方法可以计算微分方程的数值解,且有一定的准确度。.

新!!: 平凡 (數學)和微分方程 · 查看更多 »

微积分学

微積分學(Calculus,拉丁语意为计数用的小石頭) 是研究極限、微分學、積分學和無窮級數等的一個數學分支,並成為了現代大學教育的重要组成部分。歷史上,微積分曾經指無窮小的計算。更本質的講,微積分學是一門研究變化的科學,正如:幾何學是研究形狀的科學、代數學是研究代數運算和解方程的科學一樣。微積分學又稱為“初等數學分析”。 微積分學在科學、經濟學、商業管理學和工業工程學領域有廣泛的應用,用來解决那些僅依靠代數學和幾何學不能有效解決的問題。微積分學在代數學和解析幾何學的基礎上建立起来,主要包括微分學、積分學。微分學包括求導數的運算,是一套關於變化率的理論。它使得函數、速度、加速度和斜率等均可用一套通用的符號進行演绎。積分學,包括求積分的運算,為定義和計算長度、面積、體積等提供一套通用的方法。微積分學基本定理指出,微分和積分互為逆運算,這也是兩種理論被統一成微積分學的原因。我們能以兩者中任意一者為起點來討論微積分學,但是在教學中一般會先引入微分學。在更深的數學領域中,高等微積分學通常被稱為分析學,並被定義為研究函數的科學,是現代數學的主要分支之一。.

新!!: 平凡 (數學)和微积分学 · 查看更多 »

初等數論

初等數論意指使用不超過高中程度的初等代數處理的數論問題,最主要的工具包括整數的整除性與同餘。重要的結論包括中國餘數定理、費馬小定理、二次互反律等等。.

新!!: 平凡 (數學)和初等數論 · 查看更多 »

單位元

單位元是集合裏的一種特別的元素,與該集合裏的二元運算有關。當單位元和其他元素結合時,並不會改變那些元素。單位元被使用在群和其他相關概念之中。 設 (S,*)為一帶有一二元運算* 的集合S(稱之為原群),則S內的一元素e被稱為左單位元若對所有在S內的a而言,e * a .

新!!: 平凡 (數學)和單位元 · 查看更多 »

唯一分解整環

在數學中,唯一分解整环(Unique factorization domain)是一個整環,其中元素都可以表示成有限個不可約元素(或素元)之積,並且表示法在允許重排與相伴(associative)之下唯一,相當於滿足算術基本定理的整環。唯一分解整环通常以英文縮寫UFD表示。.

新!!: 平凡 (數學)和唯一分解整環 · 查看更多 »

函数

函數在數學中為兩集合間的一種對應關係:輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素。例如實數x對應到其平方x2的關係就是一個函數,若以3作為此函數的輸入值,所得的輸出值便是9。 為方便起見,一般做法是以符號f,g,h等等來指代一個函數。若函數f以x作為輸入值,則其輸出值一般寫作f(x),讀作f of x。上述的平方函數關係寫成數學式記為f(x).

新!!: 平凡 (數學)和函数 · 查看更多 »

因數

因數是一個常見的數學名詞,又名「--」。.

新!!: 平凡 (數學)和因數 · 查看更多 »

皮亚诺公理

亚诺公理(Peano axioms),也称皮亚诺公设,是意大利数学家皮亚诺提出的关于自然数的五条公理系统。根据这五条公理可以建立起一阶算术系统,也称皮亚诺算术系统。.

新!!: 平凡 (數學)和皮亚诺公理 · 查看更多 »

穷举法

穷举法,是一种数学计算方法。如果从任何一个量中减去不少于其一半的一部分,然后再余量减去不少于其一半的一部分,并且,如果让这个减的过程继续下去,最后总会得到一个余量,小于任何一个预先给定的任何量。.

新!!: 平凡 (數學)和穷举法 · 查看更多 »

空集

集是不含任何元素的集合,數學符號為\empty、\varnothing或\。.

新!!: 平凡 (數學)和空集 · 查看更多 »

在數學中,群是由一個集合以及一個二元運算所組成的,符合下述四个性质(称为“群公理”)的代數結構。这四个性质是封闭性、結合律、單位元和对于集合中所有元素存在逆元素。 很多熟知的數學結構比如數系統都遵从群公理,例如整數配備上加法運算就形成一個群。如果将群公理的公式從具体的群和其運算中抽象出來,就使得人们可以用靈活的方式来處理起源于抽象代數或其他许多数学分支的實體,而同时保留對象的本質結構性质。 群在數學內外各個領域中是無處不在的,这使得它們成為當代數學的组成的中心原理。 群與對稱概念共有基礎根源。對稱群把幾何物體的如此描述物体的對稱特征:它是保持物體不變的變換的集合。這種對稱群,特別是連續李群,在很多學術學科中扮演重要角色。例如,矩陣群可以用來理解在狹義相對論底層的基本物理定律和在分子化學中的對稱現象。 群的概念引發自多項式方程的研究,由埃瓦里斯特·伽罗瓦在1830年代開創。在得到來自其他領域如數論和幾何学的貢獻之后,群概念在1870年左右形成并牢固建立。現代群論是非常活躍的數學學科,它以自己的方式研究群。為了探索群,數學家發明了各種概念來把群分解成更小的、更好理解的部分,比如子群、商群和單群。除了它們的抽象性質,群理論家還從理論和計算兩種角度來研究具體表示群的各種方式(群的表示)。對有限群已經發展出了特別豐富的理論,這在1983年完成的有限簡單群分類中達到頂峰。从1980年代中叶以来,将有限生成群作为几何对象来研究的几何群论,成为了群论中一个特别活跃的分支。.

新!!: 平凡 (數學)和群 · 查看更多 »

瑣碎論

瑣碎論是一承認所有語句(也稱為命題)為真並且所有「P與非P」形式的矛盾句都為真的邏輯理論,其拉丁自源trivialis意思是「到處都能找到的」。 據此,瑣碎論者是指一個相信任何事都為真的人。 在古典邏輯中,瑣碎論是直接違反了亞里斯多德的非矛盾律。在哲學中,瑣碎論可以被視為懷疑論的完全對立面,懷疑論是懷疑或否定一切事為真,瑣碎論則是相信任何事都為真。在次協調邏輯中,可能使用「非瑣碎律」防止為真的矛盾在邏輯上藉由爆炸原理推導出瑣碎論。 理論的爭論已經提供瑣碎論與像是模態實在論(可能論)、雙面真理論以及次協調邏輯的理論對照。.

新!!: 平凡 (數學)和瑣碎論 · 查看更多 »

當然群

在數學裡,當然群是指一個只包含單一元素e的群,其群運算只有e + e.

新!!: 平凡 (數學)和當然群 · 查看更多 »

證明

在數學上,證明是在一個特定的公理系統中,根据一定的规则或标准,由公理和定理推導出某些命題的過程。比起证据,数学证明一般依靠演绎推理,而不是依靠自然归纳和经验性的理据。這樣推導出來的命題也叫做該系統中的定理。 數學證明建立在逻辑之上,但通常會包含若干程度的自然語言,因此可能會產生一些含糊的部分。實際上,用文字形式寫成的數學證明,在大多數情況都可以視為非形式邏輯的應用。在證明論的範疇內,則考慮那些用純形式化的语言写出的證明。這個区别导致了对過往到現在的數學实践、和的大部分检验。數學哲學就關注語言和邏輯在數學證明中的角色,和作為語言的數學。.

新!!: 平凡 (數學)和證明 · 查看更多 »

费马大定理

费马大定理,也称費馬最後定理(Le dernier théorème de Fermat);(Fermat's Last Theorem),其概要為: 以上陳述由17世纪法国数学家费马提出,一直被稱為「费马猜想」,直到英國數學家安德魯·懷爾斯(Andrew John Wiles)及其學生理查·泰勒(Richard Taylor)於1995年將他們的證明出版後,才稱為「費馬大定理」。這個猜想最初出現費馬的《頁邊筆記》中。儘管費馬表明他已找到一個精妙的證明而頁邊没有足夠的空位寫下,但仍然經過數學家們三個多世紀的努力,猜想才變成了定理。在衝擊這個数论世紀难题的過程中,無論是不完全的還是最後完整的證明,都給數學界帶來很大的影響;很多的數學結果、甚至數學分支在這個過程中誕生了,包括代數幾何中的橢圓曲線和模形式,以及伽羅瓦理論和赫克代數等。這也令人懷疑當初費馬是否真的找到了正確證明。而安德魯·懷爾斯由於成功證明此定理,獲得了包括邵逸夫獎在内的数十个奖项。.

新!!: 平凡 (數學)和费马大定理 · 查看更多 »

范畴论

疇論是數學的一門學科,以抽象的方法來處理數學概念,將這些概念形式化成一組組的「物件」及「態射」。數學中許多重要的領域可以形式化成範疇,並且使用範疇論,令在這些領域中許多難理解、難捉摸的數學結論可以比沒有使用範疇還會更容易敘述及證明。 範疇最容易理解的一個例子為集合範疇,其物件為集合,態射為集合間的函數。但需注意,範疇的物件不一定要是集合,態射也不一定要是函數;一個數學概念若可以找到一種方法,以符合物件及態射的定義,則可形成一個有效的範疇,且所有在範疇論中導出的結論都可應用在這個數學概念之上。 範疇最簡單的例子之一為广群,其態射皆為可逆的。群胚的概念在拓撲學中很重要。範疇現在在大部分的數學分支中都有出現,在理論電腦科學的某些領域中用于對應資料型別,而在數學物理中被用來描述向量空間。 範疇論不只是對研究範疇論的人有意義,對其他數學家而言也有著其他的意思。一個可追溯至1940年代的述語「一般化的抽象廢話」,即被用來指範疇論那相對於其他傳統的數學分支更高階的抽象化。.

新!!: 平凡 (數學)和范畴论 · 查看更多 »

集合

集合可以指:.

新!!: 平凡 (數學)和集合 · 查看更多 »

退化 (數學)

在數學中,退化是指在一個在一個限制的情況下,一個集合中的對象改變其性質並且屬於另一個集合,通常是變成比較簡單的集合,例如,一個三角形是一個平面集合的一個對象,但是若改變其性質將單一內角改為180度使其邊皆重合,則它就屬於線段集合的一個對象,且線段這個集合比平面還要簡單,因為它少一個維度,我們就會稱此多邊形退化了。 因此,退化的情況下,具有原來的性質 下面列出一些退化的例子.

新!!: 平凡 (數學)和退化 (數學) · 查看更多 »

泛函分析

泛函分析(Functional Analysis)是现代数学分析的一个分支,隶属于分析学,其研究的主要对象是函数构成的函数空间。泛函分析历史根源是由对函数空间的研究和对函数的变换(如傅立叶变换等)的性质的研究。这种观点被证明是对微分方程和积分方程的研究中特别有用。 使用泛函这个词作为表述源自变分法,代表作用于函数的函数,这意味着,一个函数的参数是函数。这个名词首次被雅克·阿达马在1910年使用于这个课题的书中。是泛函分析理论的主要奠基人之一。然而,泛函的一般概念以前曾在1887年是由意大利数学家和物理学家維多·沃爾泰拉(Vito Volterra)介绍。非线性泛函理论是由雅克·阿达马的学生继续研究,特别是莫里斯·弗雷歇(Maurice Fréchet)可和列维(Levy)。雅克·阿达马还创立线性泛函分析的现代流派,并由弗里杰什·里斯和一批围绕着斯特凡·巴拿赫(Stefan Banach)的波兰数学家进一步发展。.

新!!: 平凡 (數學)和泛函分析 · 查看更多 »

指数函数

指数函数(Exponential function)是形式為b^x的數學函数,其中b是底數(或稱基數,base),而x是指數(index / exponent)。 現今指數函數通常特指以\mbox為底數的指數函數(即\mbox^x),為数学中重要的函数,也可寫作\exp(x)。这里的\mbox是数学常数,也就是自然对数函数的底数,近似值为2.718281828,又称为欧拉数。 作为实数变量x的函数,y.

新!!: 平凡 (數學)和指数函数 · 查看更多 »

方程

数学中方程可以简单的理解为含有未知数的等式。例如以下的方程: 其中的x為未知數。 如果把数学当作语言,那么方程可以为人们提供一些用来描述他们所感兴趣的对象的语法,它可以把未知的元素包含到陈述句当中(比如用“相等”这个词来构成的陈述句),因此如果人们对某些未知的元素感兴趣,但是用数学语言去精确地表达那些确定未知元素的条件时需要用到未知元素本身,这时人们就常常用方程来描述那些条件,并且形成这样一个问题:能使这些条件满足的元素是什么?在某个集合内,能使方程中所描述的条件被满足的元素称为方程在这个集合中的解(比如代入某个數到含未知数的等式,使等式中等号左右两边相等)。 求出方程的解或说明方程无解这一过程叫做解方程。可以用方程的解的存在状况为方程分类,例如,恒等式即恒成立的方程,例如(y + 2)^2.

新!!: 平凡 (數學)和方程 · 查看更多 »

数学

数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科,从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用,由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念,為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善,早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見,而在古希臘那裡有更為嚴謹的處理。從那時開始,數學的發展便持續不斷地小幅進展,至16世紀的文藝復興時期,因为新的科學發現和數學革新兩者的交互,致使數學的加速发展,直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日,數學使用在不同的領域中,包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學,有時亦會激起新的數學發現,並導致全新學科的發展,例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學,就是數學本身的实质性內容,而不以任何實際應用為目標。雖然許多研究以純數學開始,但其过程中也發現許多應用之处。.

新!!: 平凡 (數學)和数学 · 查看更多 »

数学归纳法

数学归纳法(Mathematical Induction、MI、ID)是一种数学证明方法,通常被用于证明某个给定命题在整个(或者局部)自然数范围内成立。除了自然数以外,广义上的数学归纳法也可以用于证明一般良基结构,例如:集合论中的树。这种广义的数学归纳法应用于数学逻辑和计算机科学领域,称作结构归纳法。 虽然数学归纳法名字中有“归纳”,但是数学归纳法并非不严谨的归纳推理法,它属于完全严谨的演绎推理法。事實上,所有數學證明都是演繹法。.

新!!: 平凡 (數學)和数学归纳法 · 查看更多 »

拓扑空间

拓扑空间是一种数学结构,可以在上頭形式化地定義出如收敛、连通、连续等概念。拓扑空间在现代数学的各个分支都有应用,是一个居于中心地位的、统一性的概念。拓扑空间有独立研究的价值,研究拓扑空间的数学分支称为拓扑学。.

新!!: 平凡 (數學)和拓扑空间 · 查看更多 »

0

0(〇/零)是-1与1之间的整数。0既不是正数也不是负数。0是偶数。在数论中,0不属于自然数;在集合论和计算机科学中,0属于自然数。0在整数、实数和其他的代数結構中都有著單位元這個很重要的性質。.

新!!: 平凡 (數學)和0 · 查看更多 »

重定向到这里:

平凡 (数学)平凡解明顯 (數學)

传出传入
嘿!我们在Facebook上吧! »