[過去ﾛｸﾞ] 数学の証明という理論がわからないです (245ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
28: 2021/02/15(月)12:48 ID:iT3CrOuB(26/102) AAS
>>22
証明:
0a
= (0 + 0)a
= 0a + 0a
∴ 0a = 0。
a0
= a(0 + 0)
= a0 + a0
∴ a0 = 0。□
29: 2021/02/15(月)12:49 ID:iT3CrOuB(27/102) AAS
>>23
証明:
a + (-1)a
= (1 + (-1))a
= 0a
= 0
>>25より、(-1)a = -a。□
30: 2021/02/15(月)12:58 ID:iT3CrOuB(28/102) AAS
>>21
証明:
対偶を示す。
a≠0 and b≠0とする。このとき
a^(-1)abb^(-1) = 1 ≠ 0。
>>22より、ab = 0 ならば上記の左辺も0なので、
省1
31: 2021/02/15(月)13:05 ID:iT3CrOuB(29/102) AAS
>>20
証明:
正の整数nに対して、n1 = 0とする。
n = abならば、ab1 = = (a1)(b1) = 0。
よって、>>21より
a1 = 0 or b1 = 0
となるので、nが素数でなければ、n'1 = 0となるnよりも小さい正の整数n'が存在する。□
32(2): 2021/02/15(月)13:16 ID:iT3CrOuB(30/102) AAS
例:
pを素数とする。
Z/pZ := { [0], [1], ..., [p-1]}
[k] := {n∈Z; n ≡ k (mod p)}
とする。すなわち、n ≡ k (mod p)⇔ [n] = [k]である。
33(2): 2021/02/15(月)13:19 ID:iT3CrOuB(31/102) AAS
>>32
Z/pZには加法と乗法が
[a] + [b] = [a + b]
[a] [b] = [ab]
で定まり、>>4-15を満たす。
34(2): 2021/02/15(月)13:21 ID:iT3CrOuB(32/102) AAS
>>33
>>4-13までは、剰余の定義から直ちに従う。
Z/pZが乗法の逆元を持つことを示す。
35(2): 2021/02/15(月)13:22 ID:iT3CrOuB(33/102) AAS
>>34
補題:
a, b∈Zとする。aとbが互いに素ならば、
na + mb = 1
を満たす整数n, mが存在する。
36: 2021/02/15(月)13:34 ID:iT3CrOuB(34/102) AAS
>>35
証明:
a, bを任意の整数とし、Dをa, bの最大公約数とする。
L = {na + mb; n, m∈Z, na + mb > 0}
とおく。
Lは自然数の空でない部分集合であるから、最小元が存在する。それを
省8
37: 2021/02/15(月)13:38 ID:iT3CrOuB(35/102) AAS
>>34
aをpを法として1, ..., p - 1のいずれかに合同な整数とする。aはpと互いに素であるから、>>35より、
na ≡ 1 (mod p)
となる整数nが存在する。これは、Z/pZが乗法の逆元を持つことを意味する。□
38(2): 2021/02/15(月)13:44 ID:iT3CrOuB(36/102) AAS
例:
Q(√-1) := { a + b√-1; a, b∈Q }
は
(a + b√-1) + (c + d√-1) := (a + c) + (b + d)√-1
(a + b√-1)(c + d√-1) := (ac - bd) + (ad + bc)√-1
により体になる。a + b√-1 ≠ 0の逆元は
省2
39(1): 2021/02/15(月)13:50 ID:iT3CrOuB(37/102) AAS
例:
kを体とする。Xを不定元とし、k(X)で一変数の有理式全体の集合を表す。すなわち
k(X) := { f/g; f, gはXの多項式。g≠0 }
k(X)は自然な加法と乗法について体になる。
k(X)の標数は、kの標数と等しい。
40: 2021/02/15(月)13:53 ID:iT3CrOuB(38/102) AAS
>>2
体の例:
>>16-18
>>32-33
>>38-39
41: 2021/02/15(月)13:54 ID:iT3CrOuB(39/102) AAS
>>2
体の公理
>>3-15
42(2): 2021/02/15(月)14:01 ID:iT3CrOuB(40/102) AAS
kを体とする。
集合Vに加法
+: V × V → V
とスカラー倍
*: k × V → V
が定まり、以下を満たすとき、Vをk上のベクトル空間であるという。
43: 2021/02/15(月)15:18 ID:iT3CrOuB(41/102) AAS
x, y, z∈V、a, b∈kを任意の元とする。
44: 2021/02/15(月)15:19 ID:iT3CrOuB(42/102) AAS
(1) (x + y) + z = x + (y + z)
45(1): 2021/02/15(月)15:20 ID:iT3CrOuB(43/102) AAS
(2) ∃0∈V; ∀a∈V, 0 + a = a + 0 = a
46: 2021/02/15(月)15:23 ID:iT3CrOuB(44/102) AAS
>>45
訂正:
> ∃0∈V; ∀a∈V, 0 + a = a + 0 = a
(2) ∃0∈V; ∀x∈V, 0 + x = x + 0 = x
47: 2021/02/15(月)15:23 ID:iT3CrOuB(45/102) AAS
(3) ∀x∈V, ∃-x∈V; x + (-x) = (-x) + x = 0
上下前次1-新書関写板覧索設栞歴
あと 198 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.008s