高代01-01数域1.数域多项式由未知数xyz等的整数幂次以及系数组成.多项式的系数来自数域.数的发展历程:需要加减法自然数扩充为整数.需要乘除法整数扩充为有理数.需要乘方开方有理数扩充为实数再扩充为复数.运算需求扩充过程加减法自然数 → 整数乘除法整数 → 有理数乘方开方有理数 → 实数 → 复数项目内容自然数定义表示物体个数的非负整数举例012310整数定义正整数、0、负整数的统称举例-5-1016有理数定义能表示为两个整数之比分母不为0的数举例1 2 \frac{1}{2}21− 3 -3−30.75 0.750.750. 3 ˙ 0.\dot{3}0.3˙实数定义有理数与无理数的总称举例5 552 \sqrt{2}2π \piπ− 0.3 -0.3−0.3复数定义形如a b i abiabia , b a,ba,b为实数i 2 − 1 i^2-1i2−1的数举例2 3 i 23i23ii ii5 55− 1 2 i -1\sqrt{2}i−12i还有待解决的问题如I n ( − 1 ) , i i , s i n ( 2 3 i ) In(-1),i^i,sin(23i)In(−1),ii,sin(23i)这些数是多少?请见复变函数.关于数的加减乘除等运算的性质统称为数的代数性质.定义1设P PP是复数集合C \mathbb CC的子集满足0和1都在P PP中P PP中任取两个数(可重复)的和差积商都还在P PP中那么P PP就称为一个数域.如果P PP中任意两个数做某一运算的结果还在P PP中则称P PP对这个运算是封闭的.所以上面第二条可以改成P PP关于加减乘除运算是封闭的.这种表述更简洁.回忆一下数的发展历程整数对于加减乘法封闭对于除法不封闭因此扩充成了有理数.思考题:所有的数域都包含有理数域吗?思考问题的方法就是要利用数域的性质就是数域中至少包含零和一另外对于加减乘除运算是封闭的。满足这两点那你看是不是所有的数域只要含零和一的话就一定要包含所有的有理数。例1Q ( 2 ) { a b 2 ∣ a , b ∈ Q } \mathbb{Q}(\sqrt{2})\{ab\sqrt{2}\mid a,b\in\mathbb{Q}\}Q(2){ab2∣a,b∈Q}构成一个数域.加法封闭a b 2 c d 2 ( a c ) ( b d ) 2 . a b\sqrt{2} c d\sqrt{2} (a c) (b d)\sqrt{2}.ab2cd2(ac)(bd)2.减法封闭a b 2 − c − d 2 ( a − c ) ( b − d ) 2 . a b\sqrt{2} - c - d\sqrt{2} (a - c) (b - d)\sqrt{2}.ab2−c−d2(a−c)(b−d)2.乘法封闭( a b 2 ) ( c d 2 ) ( a c 2 b d ) ( a d b c ) 2 . (a b\sqrt{2})(c d\sqrt{2}) (ac 2bd) (ad bc)\sqrt{2}.(ab2)(cd2)(ac2bd)(adbc)2.除法封闭a b 2 c d 2 ( a b 2 ) ( c − d 2 ) c 2 − 2 d 2 a c − 2 b d c 2 − 2 d 2 ( b c − a d ) 2 c 2 − 2 d 2 . \frac{a b\sqrt{2}}{c d\sqrt{2}} \frac{(a b\sqrt{2})(c - d\sqrt{2})}{c^2 - 2d^2} \frac{ac - 2bd}{c^2 - 2d^2} \frac{(bc - ad)\sqrt{2}}{c^2 - 2d^2}.cd2ab2c2−2d2(ab2)(c−d2)c2−2d2ac−2bdc2−2d2(bc−ad)2.因为c,d都是有理数所以c 2 − 2 d 2 c^2 - 2d^2c2−2d2不等于0.若等于0那么一个数是另一个数的2 \sqrt{2}2倍与c,d都是有理数冲突.例 2{ a 0 a 1 π ⋯ a n π n b 0 b 1 π ⋯ b m π m ∣ n , m ∈ N , a i , b j ∈ Z , i ∈ { 0 , … , n } , j ∈ { 0 , … , m } } \left\{ \frac{a_0 a_1 \pi \dots a_n \pi^n}{b_0 b_1 \pi \dots b_m \pi^m} \,\bigg|\, n,m \in \mathbb{N},\ a_i,b_j \in \mathbb{Z},\ i \in \{0,\dots,n\},\ j \in \{0,\dots,m\} \right\}{b0b1π⋯bmπma0a1π⋯anπnn,m∈N,ai,bj∈Z,i∈{0,…,n},j∈{0,…,m}}构成一个数域。验证过程类似整数域上分式f ( x ) g ( x ) \dfrac{f(x)}{g(x)}g(x)f(x)的加减乘除运算。见第二节例 3全体奇数和全体2 \sqrt{2}2的整倍数不构成一个数域。前者没有0对加减除法不封闭后者没有1对乘除法不封闭。现在回答思考题: 所有的数域都包含有理数域.0 00和1 11在P PP中, 加法封闭性可知1 1 2 , 2 1 3 , … 1 1 2,\ 2 1 3,\ \dots112,213,…, 都在P PP中.所以全体自然数都在P PP中.减法封闭性可知对任意自然数n nn,0 − n − n 0 - n -n0−n−n也在P PP中. 所以全体整数都在P PP中.任一有理数可写成两个整数的商, 除法封闭性即知全体有理数都在P PP中.
【高代01-01数域】
高代01-01数域1.数域多项式由未知数xyz等的整数幂次以及系数组成.多项式的系数来自数域.数的发展历程:需要加减法自然数扩充为整数.需要乘除法整数扩充为有理数.需要乘方开方有理数扩充为实数再扩充为复数.运算需求扩充过程加减法自然数 → 整数乘除法整数 → 有理数乘方开方有理数 → 实数 → 复数项目内容自然数定义表示物体个数的非负整数举例012310整数定义正整数、0、负整数的统称举例-5-1016有理数定义能表示为两个整数之比分母不为0的数举例1 2 \frac{1}{2}21− 3 -3−30.75 0.750.750. 3 ˙ 0.\dot{3}0.3˙实数定义有理数与无理数的总称举例5 552 \sqrt{2}2π \piπ− 0.3 -0.3−0.3复数定义形如a b i abiabia , b a,ba,b为实数i 2 − 1 i^2-1i2−1的数举例2 3 i 23i23ii ii5 55− 1 2 i -1\sqrt{2}i−12i还有待解决的问题如I n ( − 1 ) , i i , s i n ( 2 3 i ) In(-1),i^i,sin(23i)In(−1),ii,sin(23i)这些数是多少?请见复变函数.关于数的加减乘除等运算的性质统称为数的代数性质.定义1设P PP是复数集合C \mathbb CC的子集满足0和1都在P PP中P PP中任取两个数(可重复)的和差积商都还在P PP中那么P PP就称为一个数域.如果P PP中任意两个数做某一运算的结果还在P PP中则称P PP对这个运算是封闭的.所以上面第二条可以改成P PP关于加减乘除运算是封闭的.这种表述更简洁.回忆一下数的发展历程整数对于加减乘法封闭对于除法不封闭因此扩充成了有理数.思考题:所有的数域都包含有理数域吗?思考问题的方法就是要利用数域的性质就是数域中至少包含零和一另外对于加减乘除运算是封闭的。满足这两点那你看是不是所有的数域只要含零和一的话就一定要包含所有的有理数。例1Q ( 2 ) { a b 2 ∣ a , b ∈ Q } \mathbb{Q}(\sqrt{2})\{ab\sqrt{2}\mid a,b\in\mathbb{Q}\}Q(2){ab2∣a,b∈Q}构成一个数域.加法封闭a b 2 c d 2 ( a c ) ( b d ) 2 . a b\sqrt{2} c d\sqrt{2} (a c) (b d)\sqrt{2}.ab2cd2(ac)(bd)2.减法封闭a b 2 − c − d 2 ( a − c ) ( b − d ) 2 . a b\sqrt{2} - c - d\sqrt{2} (a - c) (b - d)\sqrt{2}.ab2−c−d2(a−c)(b−d)2.乘法封闭( a b 2 ) ( c d 2 ) ( a c 2 b d ) ( a d b c ) 2 . (a b\sqrt{2})(c d\sqrt{2}) (ac 2bd) (ad bc)\sqrt{2}.(ab2)(cd2)(ac2bd)(adbc)2.除法封闭a b 2 c d 2 ( a b 2 ) ( c − d 2 ) c 2 − 2 d 2 a c − 2 b d c 2 − 2 d 2 ( b c − a d ) 2 c 2 − 2 d 2 . \frac{a b\sqrt{2}}{c d\sqrt{2}} \frac{(a b\sqrt{2})(c - d\sqrt{2})}{c^2 - 2d^2} \frac{ac - 2bd}{c^2 - 2d^2} \frac{(bc - ad)\sqrt{2}}{c^2 - 2d^2}.cd2ab2c2−2d2(ab2)(c−d2)c2−2d2ac−2bdc2−2d2(bc−ad)2.因为c,d都是有理数所以c 2 − 2 d 2 c^2 - 2d^2c2−2d2不等于0.若等于0那么一个数是另一个数的2 \sqrt{2}2倍与c,d都是有理数冲突.例 2{ a 0 a 1 π ⋯ a n π n b 0 b 1 π ⋯ b m π m ∣ n , m ∈ N , a i , b j ∈ Z , i ∈ { 0 , … , n } , j ∈ { 0 , … , m } } \left\{ \frac{a_0 a_1 \pi \dots a_n \pi^n}{b_0 b_1 \pi \dots b_m \pi^m} \,\bigg|\, n,m \in \mathbb{N},\ a_i,b_j \in \mathbb{Z},\ i \in \{0,\dots,n\},\ j \in \{0,\dots,m\} \right\}{b0b1π⋯bmπma0a1π⋯anπnn,m∈N,ai,bj∈Z,i∈{0,…,n},j∈{0,…,m}}构成一个数域。验证过程类似整数域上分式f ( x ) g ( x ) \dfrac{f(x)}{g(x)}g(x)f(x)的加减乘除运算。见第二节例 3全体奇数和全体2 \sqrt{2}2的整倍数不构成一个数域。前者没有0对加减除法不封闭后者没有1对乘除法不封闭。现在回答思考题: 所有的数域都包含有理数域.0 00和1 11在P PP中, 加法封闭性可知1 1 2 , 2 1 3 , … 1 1 2,\ 2 1 3,\ \dots112,213,…, 都在P PP中.所以全体自然数都在P PP中.减法封闭性可知对任意自然数n nn,0 − n − n 0 - n -n0−n−n也在P PP中. 所以全体整数都在P PP中.任一有理数可写成两个整数的商, 除法封闭性即知全体有理数都在P PP中.
