离散数学和群论

快捷方式: 差异，相似，杰卡德相似系数，参考。

离散数学和群论之间的区别

离散数学 vs. 群论

离散数学（Discrete mathematics）是数学的几个分支的总称，研究基于离散空间而不是连续的数学结构。与連續变化的实数不同，离散数学的研究对象——例如整数、图和数学逻辑中的命题——不是連續变化的，而是拥有不等、分立的值。因此离散数学不包含微积分和分析等「连续数学」的内容。离散对象经常可以用整数来枚举。更一般地，离散数学被视为处理可数集合（与整数子集基数相同的集合，包括有理数集但不包括实数集）的数学分支。 。但是，“离散数学”不存在准确且普遍认可的定义。实际上，离散数学经常被定义为不包含连续变化量及相关概念的数学，甚少被定义为包含什么内容的数学。 离散数学中的对象集合可以是有限或者是无限的。有限数学一词通常指代离散数学处理有限集合的那些部分，特别是在与商业相关的领域。 隨著電腦科學的飛速發展，離散數學的重要性則日益彰顯。它為許多資訊科學課程提供了數學基礎，包括資料結構、演算法、資料庫理論、形式語言與作業系統等。如果沒有離散數學的相關數學基礎，學生在學習上述課程中，便會遇到較多的困難。此外，離散數學也包含了解決作業研究、化學、工程學、生物學等眾多領域的數學背景。由於運算對象是離散的，所以電腦科學的數學基礎基本上也是離散的。我們可以說電腦科學的數學語言就是離散數學。人們會使用離散數學裡面的槪念和表示方法，來研究和描述電腦科學下所有分支的對象和問題，如電腦運算、程式語言、密碼學、自動定理証明和軟件開發等。相反地，计算机的應用使離散數學的概念得以應用於日常生活當中（如運籌學）。 虽然离散数学的主要研究对象是离散对象，但是连续数学的分析方法往往也可以采用。数论就是离散和连续数学的交叉学科。同样的，有限拓扑（对有限拓扑空间的研究）从字面上可看作离散化和拓扑的交集。. 在数学和抽象代数中，群论研究名为群的代数结构。 群在抽象代数中具有基本的重要地位：许多代数结构，包括环、-zh-hant:體;zh-hans:域-和向量空间等可以看作是在群的基础上添加新的运算和公理而形成的。群的概念在数学的许多分支都有出现，而且群论的研究方法也对抽象代数的其它分支有重要影响。线性代数群（linear algebraic groups）和李群作为群论的分支，在经历了重大的发展之后，已经形成相对独立的研究领域。 群论的重要性还体现在物理学和化学的研究中，因为许多不同的物理结构，如晶体结构和氢原子结构可以用群论方法来进行建模。于是群论和相关的群表示论在物理学和化学中有大量的应用。 群论中的重要结果，有限单群分类是20世纪数学最重要的结果之一。该定理的证明是集体努力的结果，它的证明出现在1960年和1980年之间出版的超过10,000页的期刊上。.

代数结构

在泛代数中代数结构是在一种或多种运算下封闭的一个或多个集合。 例如，群、环、域、和格的代数结构。更复杂的结构可以被定义为通过引入多个操作，不同的基础集，或通过改变限定公理。更复杂的代数结构的实例包括向量空间，模和代數 (環論)。关于代数结构的的详细情况，参见各个链接。 一个代数结构包含集合及符合某些公理的运算或关系。 集U上定义二元运算形成的系统称为代数系统，如果对于任意a,b∈U,恒有（a·b)∈U。二元运算可推广至多元运算F,则相应的封闭性要求则改为：对于任意a,b,c,d,……∈U,恒有F(a,b,c,d,……)∈U。有的书上对封闭性未作要求，并称之为广群。运算f是一个从A×B→C的映射，若A.

代数结构和离散数学 · 代数结构和群论 · 查看更多 »

微分方程

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

微分方程和离散数学 · 微分方程和群论 · 查看更多 »

公理

在傳統邏輯中，公理是沒有經過證明，但被當作不證自明的一個命題。因此，其真實性被視為是理所當然的，且被當做演繹及推論其他（理論相關）事實的起點。當不斷要求證明時，因果關係毕竟不能無限地追溯，而需停止於無需證明的公理。通常公理都很簡單，且符合直覺，如「a+b.

公理和离散数学 · 公理和群论 · 查看更多 »

关系 (数学)

在數學上，關係是對如等於.

关系 (数学)和离散数学 · 关系 (数学)和群论 · 查看更多 »

群

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

离散数学和群 · 群和群论 · 查看更多 »

运算

数学上，运算（Operation）是一种行为，通过已知量的可能的组合，获得新的量。例如，算术中的加法6+3.

离散数学和运算 · 群论和运算 · 查看更多 »

有限集合

数学中，一个集合被称为有限集合，簡單來說就是元素個數有限，嚴格而言則是指有一个自然数n使该集合与集合之间存在双射。例如 -15到3之间的整数组成的集合，这个集合有19个元素，它跟集合存在雙射，所以它是有限的。不是有限的集合称为无限集合。 也就是说如果一个集合的基数是自然数，那这个集合就是有限的。所有的有限集合都是可数的，但并不是所有的可数集都是有限的，例如所有素数的集合。 有一个定理（戴德金定理）是：一个集合是有限的当且仅当不存在一个该集合与它的任何一个真子集之间的双射。 I I.

有限集合和离散数学 · 有限集合和群论 · 查看更多 »

数学

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

数学和离散数学 · 数学和群论 · 查看更多 »

数学分析

数学分析（mathematical analysis）区别于其他非数学类学生的高等数学内容，是分析学中最古老、最基本的分支，一般指以微积分学、无穷级数和解析函數等的一般理论为主要内容，并包括它们的理论基础（实数、函数、測度和极限的基本理论）的一个较为完整的数学学科。它也是大学数学专业的一门基础课程。出自《数学辞海（第一卷）》 数学分析研究的內容包括實數、複數、實函數及複變函數。数学分析是由微積分演進而來，在微积分发展至现代阶段中，从应用中的方法总结升华为一类综合性分析方法，且初等微積分中也包括許多數學分析的基礎概念及技巧，可以认为这些应用方法是高等微积分生成的前提。数学分析的方式和其幾何有關，不過只要任一數學空間有定義鄰域（拓扑空间）或是有針對兩物件距離的定義（度量空间），就可以用数学分析的方式進行分析。.

数学分析和离散数学 · 数学分析和群论 · 查看更多 »

数论

數論是纯粹数学的分支之一，主要研究整数的性質。被譽為「最純」的數學領域。 正整数按乘法性质划分，可以分成質数，合数，1，質数產生了很多一般人也能理解而又懸而未解的問題，如哥德巴赫猜想，孿生質數猜想等，即。很多問題虽然形式上十分初等，事实上却要用到许多艰深的数学知识。这一领域的研究从某种意义上推动了数学的发展，催生了大量的新思想和新方法。數論除了研究整數及質數外，也研究一些由整數衍生的數（如有理數）或是一些廣義的整數（如代數整數）。 整数可以是方程式的解（丟番圖方程）。有些解析函數（像黎曼ζ函數）中包括了一些整數、質數的性質，透過這些函數也可以了解一些數論的問題。透過數論也可以建立實數和有理數之間的關係，並且用有理數來逼近實數（丟番圖逼近）。 數論早期稱為算術。到20世紀初，才開始使用數論的名稱，而算術一詞則表示「基本運算」，不過在20世紀的後半，有部份數學家仍會用「算術」一詞來表示數論。1952年時數學家Harold Davenport仍用「高等算術」一詞來表示數論，戈弗雷·哈羅德·哈代和愛德華·梅特蘭·賴特在1938年寫《數論介紹》簡介時曾提到「我們曾考慮過將書名改為《算術介紹》，某方面而言是更合適的書名，但也容易讓讀者誤會其中的內容」。 卡尔·弗里德里希·高斯曾說：「數學是科學的皇后，數論是數學的皇后。.

数论和离散数学 · 数论和群论 · 查看更多 »