- 1 名前：ご冗談でしょう？名無しさん [2011/02/23(水) 03:17:38.79 ID:ycG4o2C2.net]
- 区体論で現代数学に多大なる永久を及ぼした天才科学者、南堂久史氏が
今度は物理学で功績を残しつつある。
超球理論である。
openblog.meblog.biz/article/7425.html
www004.upp.so-net.ne.jp/nando/physics2/wabun.htm
- 963 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/06(土) 00:39:57.07 ID:???.net]
- 3個固定→同順
1個固定→乱順または逆順
0個固定→逆順
恒等置換
互換
巡回置換
文字は全て正なので
a≦b≦c⇒a²≦ab、a²≦ac
- 964 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/06(土) 01:43:12.31 ID:???.net]
- a²b(a-b)+b²c(b-c)+c²a(c-a)≧0
a≧b≧c>0の時
0<1/a≦+1/b≦1/c
(1/a)a(b+c-a)+(1/b)b(c+a-b)
+(1/c)c(a+a+b-c)=a+b+c
≧(1/c)a(b+c-a)+(1/a)b(c+a-b)
+(1/b)c(a+a+b-c)
同順≧乱順
0≧a(b-a)/c+b(c-b)/a+c(a-c)/c
a²b(b-a)+b²c(c-b)+c²a(a-c)≦0
- 965 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/06(土) 03:40:38.60 ID:???.net]
- a²b(a-b)+b²c(b-c)+c²a(c-a)≧0
↓
a+b-c>0、b+c-a>0、c+a-b>0
(a/c)(a-b)+(b/a)(b-c)+(c/b)(c-a)≧0
0<a≦b≦cとしてよい。
0<1/c≦1/b≦1/a、0<C≦B≦A
(a/c)(c+a-b)+(b/a)(a+b-c)+
(c/b)(b+c-a)≧a+b+c
(a/c)B+(b/a)C+(c/b)A≧S
≧aC/c+bB/a+cA/b
Max=cA/a、Min=aC/c
a+b=2A=一定、a≧b>≧0、x≧y≧0
ax+by-Ax-Ay=x(a-A)-y(A-b)
=(x-y)(a-)/2≧0
ab=A=一定、a≧b
ax+by-x√A-y√A
xa(1-√b/a)-y√A(1-√b/a)
(xa-y√A)(1-√b/a)
=x(√a-y√b)(√a-√b)≧0
- 966 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/06(土) 12:40:22.52 ID:???.net]
- a²b(a-b)+b²c(b-c)+c²a(c-a)≧0
⇔(a/c)A+(b/a)B+(c/b)C≦S
(1/c)aA+(1/a)bB+(1/b)cC
≦(1/c)cC+(1/b)bB+(1/a)aA
乱順≦同順
=A+B+C=a+b+c=S
-X+S≦S⇔X≧0
- 967 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/06(土) 12:51:20.65 ID:???.net]
- a²b(a-b)+b²c(b-c)+c²a(c-a)≧0
⇔a²b(b-a)+b²c(c-b)+c²a(a-c)≦0
⇔a(b-a)/c+b(c-b)/a+c(a-c)/b≦0
⇔aA/c+bB/a+cC/b≦S
ここで
aA/c+bB/a+cC/b≦cC/c+bB/b+aA/a=C+B+A=a+b+c=S
0<a≦b≦cの時
0<cC≦bB≦aA、0<1/c≦1/b≦1/c
- 968 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 14:30:33.46 ID:???.net]
- Aを可換環とする
- 969 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 14:31:35.79 ID:???.net]
- f(x)∈A[x]、σ∈Sₙ
- 970 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 14:33:14.82 ID:???.net]
- σ(xᵢ)=x_σᵢ
- 971 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 14:33:54.27 ID:???.net]
- σ: xᵢ→x_σ(i)
- 972 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 14:35:08.21 ID:???.net]
- ∀σ、σf=f⇒fは対称式
- 973 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 14:38:08.94 ID:???.net]
- ∀σ、σf=sgn(σ)f ∧ f(ji)=0⇒fは交代式
- 974 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 14:39:47.57 ID:???.net]
- ℕⁿ上の全順序になる
- 975 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 14:40:57.37 ID:???.net]
- 辞書式順序
- 976 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 14:41:46.34 ID:???.net]
- 対称式は基本対称式の多項式
- 977 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 14:43:04.87 ID:???.net]
- 2つの数列が置換で移り合う時, 同値であるという
- 978 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 14:43:43.59 ID:???.net]
- xᵢ～yᵢ
- 979 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 14:46:19.92 ID:???.net]
- fは斉次式と仮定してよい
- 980 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 14:49:25.63 ID:???.net]
- Aが標数2の体⇒前者の定義だけではwell-definedではない
- 981 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 14:52:04.30 ID:???.net]
- 多重指数の辞書式順序の帰納法
- 982 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 14:57:52.77 ID:???.net]
- 差積Π(xᵢ-xⱼ) i<j
- 983 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 14:58:40.11 ID:???.net]
- 12 13 14 23 24 34
4C2=6個
- 984 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 15:00:11.50 ID:???.net]
- δを差積とする時
⊿=δ²を判別式という
- 985 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 15:01:31.34 ID:???.net]
- δは交代式、⊿は対称式
- 986 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 15:04:54.52 ID:???.net]
- -s₁、+s₂、-s₃、+s₄
- 987 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 15:06:12.
]
- [ここ壊れてます]
- 988 名前：42 ID:???.net mailto: -(x₁+x₂)、+x₁x₂ []
- [ここ壊れてます]
- 989 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 15:07:09.22 ID:???.net]
- -(1 2 3)、+(12 13 23)、-123
- 990 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 15:09:42.33 ID:???.net]
- - 1 2 3 4、+ 12 13 14 23 24 34
-123 124 134 234
+1234
- 991 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 15:10:13.26 ID:???.net]
- -s21、+s22
- 992 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 15:10:49.64 ID:???.net]
- -s31、+s32、-s33
- 993 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 15:11:42.94 ID:???.net]
- -s41、+s42、-s43、+s44
- 994 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 16:22:56.23 ID:???.net]
- x³y+x³z+xy³+xz³+y³z+yz³
s₁=x+y+z、s₂=xy+xz+yz、s₃=xyz
s₃は不可。xyzが存在しない
s₂を使ってs₂s₁²=(xy+xz+yz)(x+y+z)²
x³y、x³z、
- 995 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 16:24:15.23 ID:???.net]
- 交代式=差積×対称式
差積は交代式
たた=た、こた=こ、ここ=た
- 996 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 16:25:40.45 ID:???.net]
- fα=gα
共通根
- 997 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 16:26:25.07 ID:???.net]
- 消去法
- 998 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/09(火) 16:54:19.52 ID:???.net]
- Rfg=detを終結式という
- 999 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 09:38:15.16 ID:???.net]
- k代数は可換とする
- 1000 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 09:38:39.70 ID:???.net]
- 環は一般に可換とは仮定しない
- 1001 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 09:39:48.22 ID:???.net]
- M、右A加群、N、左A加群
- 1002 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 09:41:03.12 ID:???.net]
- Uはk加群、f: M×N→Uは写像
- 1003 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 09:43:34.34 ID:???.net]
- 双線型とA不変
- 1004 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 09:46:44.12 ID:???.net]
- k加群M⊗Nᴀ
- 1005 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 09:47:16.28 ID:???.net]
- M⊗N→U: f
- 1006 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 09:48:38.07 ID:???.net]
- ψ: M×N→M⊗Nᴀ
- 1007 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 09:49:37.35 ID:???.net]
- g: M⊗Nᴀ→U
- 1008 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 09:50:12.04 ID:???.net]
- Tensor積の普遍性
- 1009 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 09:52:37.51 ID:???.net]
- ψ: M×N→X
- 1010 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 09:52:59.78 ID:???.net]
- ψも双線型でA不変
- 1011 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 09:55:46.44 ID:???.net]
- F: M⊗Nᴀ→X、Ψ(x, y)=F(ψ(x, y))となるものが一意的に存在する。
- 1012 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 10:00:43.09 ID:???.net]
- G: X→M⊗N
- 1013 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 10:01:34.84 ID:???.net]
- G(Ψ(x, y))=ψ(x, y)
- 1014 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 10:02:02.63 ID:???.net]
- 一意的に存在する。
- 1015 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 10:04:07.51 ID:???.net]
- 恒等写像id_M⊗Nᴀ=G￮F
- 1016 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 10:05:09.52 ID:???.net]
- idₓ
- 1017 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 10:05:40.24 ID:???.net]
- X≅M⊗Nᴀ
- 1018 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 10:06:28.78 ID:???.net]
- 存在性の証明には準備を要する
- 1019 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 10:09:28.16 ID:???.net]
- 非常に大きな対象を想定し条件を付けていく
- 1020 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 11:09:24.98 ID:???.net]
- I=M×N、V=⊕ᵢk
- 1021 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 11:12:50.41 ID:???.net]
- e(x, y)、(x, y)∈M×N
- 1022 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 11:13:10.60 ID:???.net]
- 生成された部分加群
- 1023 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 11:14:24.99 ID:???.net]
- φ: M×N→V/W
- 1024 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 11:15:18.26 ID:???.net]
- φは双線型∧A不変
- 1025 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 11:17:12.73 ID:???.net]
- Vの基底、他の関係式も同様
- 1026 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 11:18:06.59 ID:???.net]
- 加群の準同型h: V→U
- 1027 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 11:19:03.96 ID:???.net]
- h(S)={0}
- 1028 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 11:19:34.71 ID:???.net]
- fは双線型でA不変
- 1029 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 11:21:00.35 ID:???.net]
- φ(x, y)=e(x, y)+W
- 1030 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 12:02:08.09 ID:???.net]
- これによりgは一意的に定まってしまう
- 1031 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 12:03:24.53 ID:???.net]
- φ(x, y)=x⊗y
- 1032 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 12:04:43.18 ID:???.net]
- A⊗Mᴀ≅M
- 1033 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 12:05:23.98 ID:???.net]
- N⊗Aᴀ≅N
- 1034 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 12:05:56.94 ID:???.net]
- Tensor積の普遍性により
- 1035 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 12:10:07.01 ID:???.net]
- Ψは単射
- 1036 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 12:10:52.64 ID:???.net]
- Ψは全射である
- 1037 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 12:11:06.04 ID:???.net]
- よつて同型写像
- 1038 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 12:12:02.99 ID:???.net]
- M⊗NᴀをM⊗Nとも書く
- 1039 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 12:14:09.96 ID:???.net]
- xc y=x cy=cx y=x yc
- 1040 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 12:16:21.98 ID:???.net]
- f⊗g: M⊗M→N₁→M×N₂
- 1041 名前：ご冗談でしょう？名無しさん mailto:sage [2023/05/17(水) 12:17:37.18 ID:???.net]
- Tensor積の普遍性
- 1042 名前：1001 [Over 1000 Thread.net]
- このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 4466日 8時間 59分 59秒
- 1043 名前：過去ログ ★ [[過去ログ]]
- ■ このスレッドは過去ログ倉庫に格納されています
|
 |
