■ このスレッドは過去ログ倉庫に格納されています
不等式への招待 第10章
- 1 :不等式ヲタ ( ゚∀゚):2018/12/18(火) 21:47:07.65 ID:e1oKVpnI.net
- ある人は蝶を集め、ある人は切手を収集し、ある人は不等式を集める…
___ ----- 参考文献〔3〕 P.65 -----
|┃三 ./ ≧ \
|┃ |:::: \ ./ |
|┃ ≡|::::: (● (● | 不等式と聞ゐちゃぁ
____.|ミ\_ヽ::::... .ワ......ノ 黙っちゃゐられねゑ…
|┃=__ \ ハァハァ
|┃ ≡ ) 人 \ ガラッ
【まとめWiki】 http://wiki.livedoor.jp/loveinequality/
【過去スレ】
・不等式スレッド (第1章) http://science3.2ch.net/test/read.cgi/math/1072510082/
・不等式への招待 第2章 http://science6.2ch.net/test/read.cgi/math/1105911616/
・不等式への招待 第3章 http://science6.2ch.net/test/read.cgi/math/1179000000/
・不等式への招待 第4章 http://science6.2ch.net/test/read.cgi/math/1245060000/
・不等式への招待 第5章 http://uni.2ch.net/test/read.cgi/math/1287932216/
・不等式への招待 第6章 http://uni.2ch.net/test/read.cgi/math/1332950303/
・不等式への招待 第7章 http://rio2016.2ch.net/test/read.cgi/math/1362834879/
・不等式への招待 第8章 http://rio2016.2ch.net/test/read.cgi/math/1498378859/
・不等式への招待 第9章 https://rio2016.5ch.net/test/read.cgi/math/1505269203/
・過去スレのミラー置き場 http://cid-d357afbb34f5b26f.skydrive.live.com/browse.aspx/.Public/
【姉妹サイト】
キャスフィ 高校数学板 不等式スレ http://www.casphy.com/bbs/test/read.cgi/highmath/1169210077/
キャスフィ 高校数学板 不等式スレ2 http://www.casphy.com/bbs/test/read.cgi/highmath/1359202700/
【wikiなど】
Inequality (mathematics)
https://en.wikipedia.org/wiki/Inequality_(mathematics)
List of inequalities
https://en.wikipedia.org/wiki/List_of_inequalities
List of triangle inequalities
https://en.wikipedia.org/wiki/List_of_triangle_inequalities
Wolfram MathWorld
http://mathworld.wolfram.com/topics/Inequalities.html
- 853 :132人目の素数さん:2023/05/22(月) 03:22:23.51 ID:2UAex/JZ.net
- f, gが原始多項式⇒積fgは原始多項式
- 854 :132人目の素数さん:2023/05/22(月) 03:23:54.64 ID:2UAex/JZ.net
- f=uF
- 855 :132人目の素数さん:2023/05/22(月) 03:37:03.22 ID:2UAex/JZ.net
- 原始多項式Fは可逆元の積を除いて一意的
- 856 :132人目の素数さん:2023/05/22(月) 03:37:49.60 ID:2UAex/JZ.net
- UFD、Rの商体をKとする
- 857 :132人目の素数さん:2023/05/22(月) 03:38:44.86 ID:2UAex/JZ.net
- Fを原始多項式
- 858 :132人目の素数さん:2023/05/22(月) 03:39:16.44 ID:2UAex/JZ.net
- しなわち(a₁)=1とする
- 859 :132人目の素数さん:2023/05/22(月) 03:41:27.62 ID:2UAex/JZ.net
- ある原始多項式Fに対して
f=uFと表せる
uは可逆元、単元
- 860 :132人目の素数さん:2023/05/22(月) 03:44:38.96 ID:2UAex/JZ.net
- Eisensteinの既約性判定条件
- 861 :132人目の素数さん:2023/05/22(月) 03:47:12.97 ID:2UAex/JZ.net
- fがKの素元⇒FはRの素元
- 862 :132人目の素数さん:2023/05/22(月) 03:48:20.76 ID:2UAex/JZ.net
- 特にF自身をとると
- 863 :132人目の素数さん:2023/05/22(月) 03:49:36.72 ID:2UAex/JZ.net
- 特にFがKで素元であれば
- 864 :132人目の素数さん:2023/05/22(月) 03:51:04.42 ID:2UAex/JZ.net
- FはKで素元であればRで素元である
- 865 :132人目の素数さん:2023/05/22(月) 03:51:59.04 ID:2UAex/JZ.net
- RがUFD⇒R[はUFD]
- 866 :132人目の素数さん:2023/05/22(月) 03:54:39.98 ID:2UAex/JZ.net
- 特にKが体⇒Kは整域⇒K[x]はUFD
- 867 :132人目の素数さん:2023/05/22(月) 03:55:33.97 ID:2UAex/JZ.net
- RをUFD、
- 868 :132人目の素数さん:2023/05/22(月) 03:55:54.15 ID:2UAex/JZ.net
- Kをその商体とする。
- 869 :132人目の素数さん:2023/05/22(月) 03:59:08.23 ID:2UAex/JZ.net
- p∤aₙ∧p|その他∧p²∤a₀
pは素元⇒f(x)は既約多項式
- 870 :132人目の素数さん:2023/05/22(月) 04:00:30.30 ID:2UAex/JZ.net
- モニックp∤aₙ
p|その他0~n-1
p²∤a₀、定数項
- 871 :132人目の素数さん:2023/05/22(月) 04:01:37.29 ID:2UAex/JZ.net
- Eisensteinの既約性判定法
- 872 :132人目の素数さん:2023/05/22(月) 04:02:37.04 ID:2UAex/JZ.net
- 素元pで
0、1、1、…、1、最後は≠2
- 873 :132人目の素数さん:2023/05/22(月) 04:27:14.46 ID:2UAex/JZ.net
- 有限体
- 874 :132人目の素数さん:2023/05/22(月) 04:27:56.66 ID:2UAex/JZ.net
- Kを有限体とする
- 875 :132人目の素数さん:2023/05/22(月) 04:28:27.35 ID:2UAex/JZ.net
- Kの単位元を1とする
- 876 :132人目の素数さん:2023/05/22(月) 04:29:05.31 ID:2UAex/JZ.net
- (n)=n・1
- 877 :132人目の素数さん:2023/05/22(月) 04:29:56.17 ID:2UAex/JZ.net
- 準同型写像τ: ℤ→K
- 878 :132人目の素数さん:2023/05/22(月) 04:30:41.98 ID:2UAex/JZ.net
- 環準同型定理より
- 879 :132人目の素数さん:2023/05/22(月) 04:31:13.14 ID:2UAex/JZ.net
- π: ℤ→ℤ/Kerτ
- 880 :132人目の素数さん:2023/05/22(月) 04:31:45.99 ID:2UAex/JZ.net
- τ': ℤ/Kerτ→K
- 881 :132人目の素数さん:2023/05/22(月) 04:32:50.30 ID:2UAex/JZ.net
- 同型
ℤ/Kerτ≅τ(ℤ)=K
- 882 :132人目の素数さん:2023/05/22(月) 04:33:57.73 ID:2UAex/JZ.net
- τ(ℤ)は体Kの部分環だから整域である
- 883 :132人目の素数さん:2023/05/22(月) 04:34:37.36 ID:2UAex/JZ.net
- Kerτはℤの素Idealとなる
- 884 :132人目の素数さん:2023/05/22(月) 04:35:54.91 ID:2UAex/JZ.net
- Kerτ=(p)
- 885 :132人目の素数さん:2023/05/22(月) 04:36:41.78 ID:2UAex/JZ.net
- 体Kの標数p
- 886 :132人目の素数さん:2023/05/22(月) 04:37:32.28 ID:2UAex/JZ.net
- これはKの素体
- 887 :132人目の素数さん:2023/05/22(月) 04:37:51.94 ID:2UAex/JZ.net
- Kに含まれる最小の体
- 888 :132人目の素数さん:2023/05/22(月) 04:38:50.53 ID:2UAex/JZ.net
- 標数pの体の素体ℤₚ
- 889 :132人目の素数さん:2023/05/22(月) 04:39:32.58 ID:2UAex/JZ.net
- ℤₚ=𝔽ₚとする
- 890 :132人目の素数さん:2023/05/22(月) 04:41:16.07 ID:2UAex/JZ.net
- 有限体Kの0以外の元からなる乗法群K*
- 891 :132人目の素数さん:2023/05/22(月) 04:41:50.88 ID:2UAex/JZ.net
- 有限体K、乗法群K*
- 892 :132人目の素数さん:2023/05/22(月) 04:42:22.97 ID:2UAex/JZ.net
- 乗法群K*は巡回群である
- 893 :132人目の素数さん:2023/05/22(月) 04:42:58.37 ID:2UAex/JZ.net
- 生成元を原始根
という
- 894 :132人目の素数さん:2023/05/22(月) 04:43:42.40 ID:2UAex/JZ.net
- 部分体と
- 895 :132人目の素数さん:2023/05/22(月) 04:43:52.05 ID:2UAex/JZ.net
- 拡大体
- 896 :132人目の素数さん:2023/05/22(月) 04:45:59.06 ID:2UAex/JZ.net
- KはF上のVector空間
- 897 :132人目の素数さん:2023/05/22(月) 04:47:32.43 ID:2UAex/JZ.net
- dim_F K=[K: F]
- 898 :132人目の素数さん:2023/05/22(月) 04:49:41.51 ID:2UAex/JZ.net
- [L: F]=[L: K][K: F]
- 899 :132人目の素数さん:2023/05/22(月) 04:50:56.24 ID:2UAex/JZ.net
- αはK上代数的である
- 900 :132人目の素数さん:2023/05/22(月) 04:51:34.15 ID:2UAex/JZ.net
- αはK上超越的である
- 901 :132人目の素数さん:2023/05/22(月) 04:52:25.29 ID:2UAex/JZ.net
- αを根とする
- 902 :132人目の素数さん:2023/05/22(月) 04:52:38.21 ID:2UAex/JZ.net
- 次数最小の
- 903 :132人目の素数さん:2023/05/22(月) 04:52:47.75 ID:2UAex/JZ.net
- モニックな
- 904 :132人目の素数さん:2023/05/22(月) 04:53:00.28 ID:2UAex/JZ.net
- 既約多項式
- 905 :132人目の素数さん:2023/05/22(月) 04:53:39.48 ID:2UAex/JZ.net
- αのK上の最小多項式f(x)
- 906 :132人目の素数さん:2023/05/22(月) 04:54:52.42 ID:2UAex/JZ.net
- αを根とする次数最小のモニックな既約多項式
- 907 :132人目の素数さん:2023/05/22(月) 04:55:46.75 ID:2UAex/JZ.net
- LはK上代数的
- 908 :132人目の素数さん:2023/05/22(月) 04:56:48.65 ID:2UAex/JZ.net
- Kにαを添加した体
- 909 :132人目の素数さん:2023/05/22(月) 04:57:05.64 ID:2UAex/JZ.net
- K(α)
- 910 :132人目の素数さん:2023/05/22(月) 04:58:22.10 ID:2UAex/JZ.net
- Kに添加した体
- 911 :132人目の素数さん:2023/05/22(月) 04:59:09.35 ID:2UAex/JZ.net
- 単純拡大
- 912 :132人目の素数さん:2023/05/22(月) 04:59:21.42 ID:2UAex/JZ.net
- 単拡大
- 913 :132人目の素数さん:2023/05/22(月) 05:08:50.46 ID:2UAex/JZ.net
- K[]X→K[α]⊂L
- 914 :132人目の素数さん:2023/05/22(月) 05:09:18.87 ID:2UAex/JZ.net
- X→α代入
- 915 :132人目の素数さん:2023/05/22(月) 05:09:46.69 ID:2UAex/JZ.net
- これは環同型写像
- 916 :132人目の素数さん:2023/05/22(月) 05:10:27.28 ID:2UAex/JZ.net
- K[α]の商体K(α)
- 917 :132人目の素数さん:2023/05/22(月) 05:11:12.53 ID:2UAex/JZ.net
- K上の有理関数体と同型
- 918 :132人目の素数さん:2023/05/22(月) 05:11:28.53 ID:2UAex/JZ.net
- K(x)
- 919 :132人目の素数さん:2023/05/22(月) 05:13:37.98 ID:2UAex/JZ.net
- 写像: K[ X]/(f)→K(α)
- 920 :132人目の素数さん:2023/05/22(月) 05:14:05.62 ID:2UAex/JZ.net
- この場合、写像X'→α
- 921 :132人目の素数さん:2023/05/22(月) 05:15:18.43 ID:2UAex/JZ.net
- 同型写像でありK[α]は体になる
- 922 :132人目の素数さん:2023/05/22(月) 05:16:07.90 ID:2UAex/JZ.net
- すなわちK[α]=K(α)
- 923 :132人目の素数さん:2023/05/22(月) 05:17:10.54 ID:2UAex/JZ.net
- K⊂L、α∈Lとする
- 924 :132人目の素数さん:2023/05/22(月) 05:18:11.38 ID:2UAex/JZ.net
- αを体K上代数的とする
- 925 :132人目の素数さん:2023/05/22(月) 05:19:21.97 ID:2UAex/JZ.net
- [K(α): K]=n
- 926 :132人目の素数さん:2023/05/22(月) 05:20:37.67 ID:2UAex/JZ.net
- f(x)のLにおける根
- 927 :132人目の素数さん:2023/05/22(月) 05:25:59.74 ID:2UAex/JZ.net
- 2つの有限体は元の数が等しければ互いに同型である
- 928 :132人目の素数さん:2023/05/22(月) 05:27:19.76 ID:2UAex/JZ.net
- 制限σ|F
- 929 :132人目の素数さん:2023/05/22(月) 05:27:48.19 ID:2UAex/JZ.net
- 自己同型写像
- 930 :132人目の素数さん:2023/05/22(月) 05:28:03.52 ID:2UAex/JZ.net
- 恒等写像
- 931 :132人目の素数さん:2023/05/22(月) 05:29:55.55 ID:2UAex/JZ.net
- q=p^r、r≧1
- 932 :132人目の素数さん:2023/05/22(月) 12:18:01.92 ID:WcEyG/Gg.net
- -(-a)=a
- 933 :132人目の素数さん:2023/05/22(月) 12:18:31.59 ID:WcEyG/Gg.net
- 0a=a0=0
- 934 :132人目の素数さん:2023/05/22(月) 12:19:46.40 ID:WcEyG/Gg.net
- (-a)b=a(-b)=-ab
- 935 :132人目の素数さん:2023/05/22(月) 12:29:10.24 ID:WcEyG/Gg.net
- a(b-c)=ab-ac
- 936 :132人目の素数さん:2023/05/22(月) 12:31:38.30 ID:WcEyG/Gg.net
- (b-c)a=ba-ca
- 937 :132人目の素数さん:2023/05/22(月) 12:33:38.35 ID:WcEyG/Gg.net
- 三則が可能
- 938 :132人目の素数さん:2023/05/22(月) 12:34:07.40 ID:WcEyG/Gg.net
- 可換、簡約が可能とは限らない
- 939 :132人目の素数さん:2023/05/22(月) 13:00:59.24 ID:WcEyG/Gg.net
- 単位的環
- 940 :132人目の素数さん:2023/05/22(月) 13:02:54.39 ID:WcEyG/Gg.net
- 正則R*
- 941 :132人目の素数さん:2023/05/22(月) 13:08:47.72 ID:WcEyG/Gg.net
- (ma)b=a(mb)=mab
- 942 :132人目の素数さん:2023/05/22(月) 23:21:50.44 ID:uY+yy519.net
- 零環{0}
- 943 :132人目の素数さん:2023/05/22(月) 23:22:44.76 ID:uY+yy519.net
- 0+0=0
0×0=0
よって0は単位元である
- 944 :132人目の素数さん:2023/05/22(月) 23:23:04.63 ID:uY+yy519.net
- 零環は0しかない
- 945 :132人目の素数さん:2023/05/22(月) 23:23:38.25 ID:uY+yy519.net
- 零元0
- 946 :132人目の素数さん:2023/05/22(月) 23:25:49.53 ID:uY+yy519.net
- 環R≠{0}
零環を除くとする
- 947 :132人目の素数さん:2023/05/22(月) 23:28:31.67 ID:uY+yy519.net
- a≠0を元に持つ
- 948 :132人目の素数さん:2023/05/22(月) 23:29:30.58 ID:uY+yy519.net
- 0≠a=ae=a0=0
となり矛盾
- 949 :132人目の素数さん:2023/05/22(月) 23:29:46.32 ID:uY+yy519.net
- よってe≠0
- 950 :132人目の素数さん:2023/05/22(月) 23:34:24.40 ID:uY+yy519.net
- 0+0=0と分配律により
∀a、a+0=aでありa=0とすると
0+0=0
(0+0)a=0a、0a+0a=0a
∴0a=0
- 951 :132人目の素数さん:2023/05/22(月) 23:35:08.61 ID:uY+yy519.net
- a(0+0)=a0
a0+a0=a0
∴a0=0
- 952 :132人目の素数さん:2023/05/22(月) 23:35:33.88 ID:uY+yy519.net
- よって0a=a0=0となる
総レス数 1007
345 KB
新着レスの表示
掲示板に戻る
全部
前100
次100
最新50
read.cgi ver.24052200