「物理数学の直感的方法」とかいう本

**ご冗談でしょう？名無しさん** · 2018/04/08(日) 10:39:14.09

読んだ人いる？
結構わかりやすかった。

**ご冗談でしょう？名無しさん** · 2018/06/19(火) 12:13:47.89

結局パイ刷り君だったのかな

**ご冗談でしょう？名無しさん** · 2018/06/19(火) 14:46:21.57

>>480
三段論法はsyllogismでmodus ponensとは別物だよ
そしてsyllogismは本来は述語論理で考えるべき代物だが命題論理でそれに相当する演繹方法がcut

だから命題論理について議論する際にcutのことを三段論法と呼ぶのは許されるが
modus ponensは全くの別物なので後者を「三段論法」呼ばわりは明確な間違い

ついでに言えば君の言ってる「同じこと」というのは古典論理では成立するHerbrandの演繹定理のことね

論理に関する用語を使う前にそれら定義をもう少しきちん勉強したまえ

**ご冗談でしょう？名無しさん** · 2018/06/19(火) 17:39:38.81

位相同型。ホモトピー同値。トーラス。メビウスの帯。閉曲面。クラインの壺。セル複体。基本群。ホモトピー群。ホモロジー群。コホモロジー群。ファイバー束。
ベクトル束。スペクトル系列。特性類。可換群。巡回群。位相幾何。位相同型。ホモトピー同値。位相同型。位相空間。連続写像。位相同型写像。同相写像。恒等写像。
全射。単射。全単射写像。ホモトピー同値。連続写像。ホモトピック。ホモトピー。三辻交差点。ホモトピック。ホモトピー類のなす集合。ホモトピー集合。ホモトピー同値。
ホモトピー同値写像。位相空間。位相同型。ホモトピー同値。位相空間対。位相同型写像。位相空間対。ホモトピー論。ホモトピック。連続写像。ホモトピー集合。
セル複体。位相空間。基本的な空間。n次元球体。n-1次元球面。積空間。商空間。位相空間。位相同型。ドーナツ。トーラス。位相同型。商空間。位相同型。
メビウスの帯。商空間。実射影平面。実射影空間。商空間。位相同型。和空間。接着空間。共通部分。位相同型写像。接着空間。接着写像。定値写像。位相同型。埋め込み。
トーラス。閉曲面。向き付け可能な閉曲面。種数。セル複体。閉セル。縁付きセル。位相同型。接着空間。有限セル複体。連続写像。接着写像。接着空間。切片。
自然な同一視写像。特性写像。セル複体。恒等写像。実射影平面。セル複体。トーラス。セル複体対。位相空間。セル複体。位相空間対。セル複体対。

**ご冗談でしょう？名無しさん** · 2018/06/19(火) 18:03:41.03

基本群。ホモトピー群。ホモトピー集合。位相空間対。ホモトピック。連続写像。基点を持った位相空間。基点。ホモトピー集合。位相同型。定値写像。回転数。
ホモトピック。ホモトピー集合。連結な位相空間。群構造を入れる。基本群。ホモトピー群。同型。セル複体。有限生成。可換群。無限巡回群。有限巡回群。直和。同型。基本群。
基点を持った位相空間。ホモトピック。位相同型。連続写像。ホモトピー類。1次元ホモトピー群。基本群。単連結。複素平面。正則関数。コーシーの積分定理。単位元。
ホモトピー。逆元。反転。ホモトピー。回転数。4辻交差点。自由群。ホモトピー類。位相同型。平行移動。ホモトピー群。位相同型。ホモトピー群。可換群。
定値写像。回転。ホップの写像。ファイバー束。射影。ホモトピー群。ホモトピー不変性。位相空間対。ホモトピー類。群準同型写像。ホモトピー同値。ホモトピー群。ホモトピー不変性。
連結。位相空間。等質的。多様体。位相同型写像。位相空間。位相同型。ホモトピー同値。セル複体。群の同型。ホモトピー同値。連結な位相空間。基本群。単位元。単連結な空間。ホモトピー群。
実射影平面。2人用浮き袋。
ホモロジー群。単体的複体。ホモロジー群。ホモロジー群。可換群。ホモトピー同値。位相同型。ホモロジー群。位相不変量。ホモロジー群。
アーベル群。巡回群。普遍係数定理。ホモロジー。ホモロジー群。包含写像。位相空間対。完全系列。セル複体。連続写像。準同型。恒等写像。境界準同型。
連結準同型。切除公理。完全公理。次元公理。ホモロジー群の係数群。セル複体対。ホモロジー群。一般ホモロジー。K理論。位相空間対。恒等写像。ホモトピー不変性。ホモトピー同値写像。
商空間のホモロジー。セル複体対。積空間。定値写像。ホモトピー同値。和空間。ホモトピー。複体対。位相空間対。ホモトピー同値。切除公理。簡約ホモロジー群。ホモトピー群と違う。完全系列。準同型。単射。
簡約ホモロジー群。位相空間対。簡約ホモロジー群。連続写像。境界準同型。制限。簡約ホモロジー群。球面のホモロジー群。ホモトピー同値。ホモロジー群。
切除公理。位相空間対。商空間。位相同型。位相空間対。簡約ホモロジー群。埋め込み。次元公理。位相同型。ホモトピック。図式追跡。三対のホモロジー完全系列。
可換図式。特異ホモロジー群論。チェックのホモロジー論。

**ご冗談でしょう？名無しさん** · 2018/06/19(火) 18:07:42.34

>>482
どれもLKの用語ではないですね
もうちょっと頑張りましょう

**ご冗談でしょう？名無しさん** · 2018/06/19(火) 18:16:17.76

有理整数環。自然数。整数。代数的整数。有理整数。倍数。約数。偶数。奇数。単数。自明な約数。素数。合成数。単数・素数・合成数。素因数。素因数分解。
素数は無限に多く存在する。素数定理。アダマール。ドラヴァレプサン。有理整数環。倍数。約数。単数。素元。結合律。零元の存在。逆元の存在。
可換律。結合律。単位元の存在。可換律。分配律。可換環。有理整数環。整数環。整域。除法の原理。可換環Rの空でない部分集合。イデアル。単項イデアル。単項イデアル環。
有理整数環は単項イデアル環。
公倍数。イデアル。最小公倍数。公約数。イデアル。最小の単項イデアル。最大公約数。互いに素。素因数分解の一意性。帰納法。符号。指数。
最大公約数と最小公倍数。一次不定方程式。イデアル。整数解。イデアル。ユークリッドの互除法。アルゴリズム。行列。逆行列。可換環。単項イデアル環。素因数分解の一意性。不定方程式を解く。互いに素。ユークリッドの互除法。

**ご冗談でしょう？名無しさん** · 2018/06/19(火) 18:24:55.48

合同式。代数的整数論。代数的整数。有理整数環。合同関係。等差数列。2次式に現れる素数。合同式。法。合同である。合同式。余り。
合同式を解く。不定方程式。連立合同式。不定元。中国の剰余定理。孫子の剰余定理。連立合同式。無数に存在する。有限個しかないと仮定して背理法。
ディリクレ。オイラーの関数。等差数列。素因数分解。フェルマーの小定理。二項展開。フェルマーの小定理の逆は成立しない。互いに素。フェルマーの小定理の対偶は合成数判定に際して有用。
連立合同式。等差数列。無数の素数。フェルマーの小定理。カーマイケル数。

**ご冗談でしょう？名無しさん** · 2018/06/19(火) 19:17:34.93

これからは問題を書かずに解答だけ書くことにします。

31：(1)α:G/H→G＼H、α(gH)=Hg^-1、
β: H＼G→G/H、β(Hg)=g^-1H、と定義する。
α、βは共にwell-definedであることが分かる。
αとβは互いに逆写像であるから共に全単射である。
従って|G/H|=|H＼G|。
(2)φ:H→gH、h∈H→gh∈gHと定義する。
h1, h2∈Hかつgh1=gh2→ h1=h2となるので
φは単射である。
全射であることは明らかなので全単射である。
従って|gH|= |H|。同様に |Hg|=|H|。

32：ラグランジュの定理の証明。
完全代表系{xi}を取るとG=[➕]xiHである (直和)。
∀i, |xiH|=|H|であるから|GI=(G:H)|H|。

33：
(1) (G:H)∈Zであるから
ラグランジュの定理|GI=(G:H)|H|より
|H| | |GI。
(2)Hをgで生成される群とすると|H|=gの位数。
ラグランジュの定理|GI=(G:H)|H|より
|H| | |GI。

34：Hをx∈Gで生成される群とすると
ラグランジュの定理|GI=(G:H)|H|より
|H| | |GI。
x≠1Gなので|GI=pより|H|=pとなる。
元の個数が等しいのでH=G。

35：フェルマーの小定理の証明。
(Z/pZ)^×は元の個数がp-1の群なのでx'^(p-1)=1'。
よってx^(p-1)≡1 modp。

36：
p|xでない→フェルマーの小定理より成り立つ。
p|x →常に成り立つ (両辺とも0)。(証明終)

**ご冗談でしょう？名無しさん** · 2018/06/19(火) 20:22:27.28

剰余環。可換環。イデアル。剰余環。フェルマーの小定理。剰余環。単元群。既約剰余類群。有限群。抽象代数。剰余類群。有理整数環。イデアル。合同類。剰余類。
可換環。零元。単位元。剰余環。整域。零因子。合成数。素数。整域。可逆。体。可換環。零元以外が可逆。有理数体。実数体。複素数体。剰余環。体である。最大公約数。可逆。
位数。有限体。準同型写像。同型写像。逆像。核。カーネル。イデアル。剰余環。合同である。
反射律。対称律。推移律。合同類。剰余類。完全代表系。和と積。可換環。環の全射準同型写像。準同型定理。直積集合。和と積。環。単位元。直積環。
準同型写像。全射。同型写像。素因数分解。環の直積。既約剰余類。互いに素。剰余類。既約剰余類。剰余環。イデアル。既約剰余類。乗法。群。結合律。単位元の存在。逆元の存在。
可換。アーベル群。加群。位数。有限群。有限アーベル群。既約剰余類群。可逆元。単元。単元群。既約剰余類群。剰余環。単元群。既約剰余類群。位数。オイラーの関数。
互いに素。直積集合。直積群。準同型写像。同型写像。同型。単元群。部分群。自明な部分群。位数。巡回群。ラグランジュ。既約剰余類群。ラグランジュの定理。オイラーの関数。
ラグランジュの定理。合同式。フェルマーの小定理。既約剰余類。mod8。生成される部分群。有限生成。有限生成アーベル群の基本定理。巡回群。
不変数。タイプ。巡回部分群。直積と同型。単位元。体。有限体。可換環。部分体。拡大体。有限次拡大。基底。拡大次数。2次拡大体。基底。有限体。標数。標数0。二項展開。
帰納法。有理整数環。準同型写像。素体。単射。多項式環。
次数。剰余の定理。割り切れる。因子。因数。多項式環。単元群。可逆元全体。0でない定数全体。可約。既約。既約多項式。
既約分解。因数分解。単多項式。モニック多項式。既約分解。零点。解。根。重根。重複根。単根。重複度。代数的閉体。既約分解。n乗根。原始n乗根。位数n。巡回群。φ(n)個ある。

**ご冗談でしょう？名無しさん** · 2018/06/19(火) 20:22:49.77

乗法群。有限部分群。巡回群。有限アーベル群の基本定理。巡回群。乗法群。巡回群。生成元。原始根。有限次拡大。拡大次数。素体。標数。有限体。ラグランジュの定理。
円分多項式。有限体。既約剰余類群。乗法群。ラグランジュの定理。原始n乗根。円分多項式。位数。直和集合。単多項式。モニック多項式。代数的整数。有限体。準同型写像。
既約。準同型写像。単多項式。既約。可換環。イデアル。剰余環。既約剰余類群。単元群。オイラーの関数。標数pの体。乗法群。巡回群。原始根。生成元。原始n乗根。円分多項式。

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 00:17:07.72

平方剰余の相互法則。代数的整数論。類体論。有限体。ガウス和。相互法則。平方剰余記号。ヤコビ記号。平方剰余記号。ディリクレ指標。円分体の理論。
平方剰余。奇素数。互いに素。平方剰余。合同式。平方非剰余。平方剰余記号。ルジャンドル記号。剰余類。平方剰余。平方非剰余。既約剰余類。剰余環。位数。有限体。
既約剰余類群。乗法群。位数。巡回群。生成元。原始根。既約剰余類。奇素数。原始根。互いに素。平方剰余。平方非剰余。原始根。フェルマーの小定理。原始根。オイラーの規準。
奇素数。原始根。平方剰余。素因数分解。第1補充法則。第2補充法則。相互法則。第1補充法則。第2補充法則。mod4とmod8。相互法則。奇素数。mod4。奇素数。mod4。
大きな素数に関する平方剰余記号の値。オイラーの規準。有限体。平方根。既約。2次拡大。オイラーの規準。それぞれ√-1, √2, √q∈Fp。第1補充法則、第2補充法則、相互法則。
ガウス和。相互法則。原始三乗根。円分多項式。判別式。mod 3。奇素数。平方剰余。有限体。拡大体。平方根。
q乗根の和と差。標数pの体。場合分け。mod5。相互法則。
奇素数。有限体。平方剰余記号。ガウス和。展開する。第1補充法則。
相互法則。ガウス和の平方。符号。標数。符号。ガウス。複素上半平面。ヤコビ記号。平方剰余記号。奇素数。正の奇数。平方剰余記号。ヤコビ記号。
平方剰余記号。合同式。素因数分解。素因数。ヤコビ記号。ヤコビ記号は平方剰余記号に非常に似た性質を持つ。第1補充法則、第2補充法則、相互法則が成り立つ。
平方剰余記号。相互法則。第2補充法則。相互法則。相互法則。第2補充法則。平方剰余記号。素因数分解。相互法則。第2補充法則+相互法則。平方剰余記号。ヤコビ記号。
偶奇性。平方剰余。平方非剰余。有限体。乗法群。位数。巡回群。準同型写像。相互法則。第1補充法則。第2補充法則。平方剰余の相互法則。ヤコビ記号。平方剰余記号。

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 00:44:23.05

ディリクレ指標。平方剰余記号。乗法的性質。アーベル群の指標。平方剰余記号。ヤコビ記号。既約剰余類群の指標。代数的整数論。解析的理論。既約剰余類群の指標。
有理数体。指標の理論。ディリクレ指標。ディリクレ指標。複素数。ディリクレ指標。単位指標。恒等指標。奇素数。平方剰余記号。ディリクレ指標。ヤコビ記号。ディリクレ指標。
mod2。mod4。剰余類。ディリクレ指標。剰余類。剰余環。ディリクレ指標。既約剰余類。剰余類。既約剰余類。複素数。写像。既約剰余類群。乗法群。準同型写像。アーベル群。複素数。
乗法群。準同型写像。指標。既約剰余類群。準同型写像。ディリクレ指標。既約剰余類群。指標全体。一対一。積もディリクレ指標となる。ヤコビ記号。ディリクレ指標。
単位指標。複素共役数。ディリクレ指標。単位指標。アーベル群。単位元。逆元。単位指標。ディリクレ指標。群。位数。巡回群。単位元。ディリクレ指標。
直積。ディリクレ指標。既約剰余類群の指標。有限アーベル群の指標。複素数の乗法群。準同型写像。指標群。単位元。単位指標。逆元。位数。ラグランジュの定理。
有限生成アーベル群の基本定理。有限巡回群。位数。原始n乗根。指標。指標群。位数。単位指標。同型。アーベル群。直積群。指標群。同型。
準同型写像。単位指標。単射。全射。同型写像。有限アーベル群の指標群。基本定理。同型。巡回群。直積。既約剰余類群。準同型写像。指標群。オイラーの関数。アーベル群。
素因数分解。直積分解。既約剰余類群。アーベル群。
生成元。奇素数。ヘンゼルの補題。位数。巡回群。位数。既約剰余類群。ディリクレ指標。互いに素。ディリクレ指標群。原始根。生成元。原始的ディリクレ指標。

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 00:44:43.34

導かれた指標。制限。単位指標。恒等指標。素因子。導かれた指標。法dで定義される。導手。原始的。原始的ディリクレ指標。指標の分解。剰余環。直積分解。
ディリクレ指標。素因数分解。原始的指標。ガウス和。平方剰余記号。ガウス和。標数が0でない場合。非原始的。導手。単位指標。原始的。非原始的。原始的指標。
ヘンゼルの補題。整数係数の多項式。合同。自然な全射。環の準同型写像。単多項式。ヘンゼルの補題。積として分解。有限体。準同型。互いに素。多項式環。
ユークリッドの互除法。帰納法。単多項式。除法の原理。単多項式。整数係数の単多項式。ヘンゼルの補題。奇素数。平方剰余。合同式。ユークリッドの互除法。
多項式環。単多項式。最大公約式。除法の原理。可換環。最大公約式。単項イデアル環。単項イデアル。最大公約式。ユークリッドの互除法。ディリクレ指標。
既約剰余類群。指標。有限アーベル群。複素数。乗法群。準同型写像。指標。アーベル群。既約剰余類群。素数冪。巡回群。直積。ディリクレ指標。真の約数。原始的。ガウス和。
整数係数の単多項式。互いに素。積に分解。単多項式。

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 11:44:43.45

>>485は意味不明だね
そもそも三段論法という言葉の正しい使い方を論じている時点でLKとは別の話なんだが、君それも理解できてないの？

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 11:46:43.65

>>494
てか、あなたは、ググって出てきた単語並べてるだけなので話が全く理解できないんですけど

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 19:11:26.80

セル複体のホモロジー群。セル。チェイン。境界作用素。輪体。像。群。単体的複体。ホモロジー群。位相空間。
セル複体のホモロジー群。完全系列。可換群。準同型。セル複体。n次元球面。商空間。ブーケ。切除公理。帰納法。セル複体。位相空間。完全系列。自然な包含写像。
ホモロジー群。切片。チェイン複体。ホモロジー群。可換群。準同型。チェイン複体。境界作用素。完全系列。ホモロジー群。輪体群。境界輪体群。サイクル群。
ホモロジー群。自然な同型。チェイン複体。可換な図式。単射性。チェイン複体。境界作用素。直和。結合係数。セル複体のホモロジー群。結合係数。準同型。特性写像。
逆写像。単射準同型。包含写像。正則なセル複体。単体的複体。単体的複体のホモロジー。凸集合。n単体。次元。面。境界。単体的複体。頂点。位相同型写像。次元。特性写像。
単体的複体。セル。位相空間。位相同型。ホモトピー同値。向き。向き付けられている。偶置換。奇置換。符号。単体的複体のZ係数ホモロジー。q次元鎖群。境界作用素。
チェイン複体。自由可換群。単体的複体S。Z係数q次元ホモロジー群。境界輪体群。位相同型。単体的複体。位相空間。位相同型。三角形分割。単体的ホモロジー群。
実射影平面。ホモロジー。分割。三角形分割。単体写像。単体ホモロジー群。準同型。完全公理。切除公理。セル複体の結合係数。境界作用素。セル分割。結合係数。
トーラス。セル分割。複素射影空間。チェイン複体。ホモロジー群。セル。ホモロジー群。境界作用素。
コホモロジー群。準同型。境界準同型写像。ホモロジー群。コホモロジー群。係数群。普遍係数定理。単体的コホモロジー群。
コホモロジー群の公理。位相空間対。セル複体対。直和。位相空間対。可換群。連続写像。準同型。恒等写像。余境界準同型。連結準同型。
切除公理。包含写像。完全公理。長い系列。完全系列。次元公理。位相空間。単体的複体のコホモロジー。余鎖群。余境界作用素。
チェイン複体。ホモロジー群。単体的複体。コホモロジー群。余輪体群。余境界輪体群。クロネッカーのδ。自由可換群。同型。余境界準同型。ホモロジー。行列の転置。輪体。コホモロジー群。
コチェイン。基本輪体。積分。準同型写像の向き。単体的複体のコホモロジー群。

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 19:15:23.79

板違いの写経をわざわざageで書き込むのは何の自己主張なの？

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 20:23:10.40

こちらがナチュラルにやっていることでも馬鹿な人には不思議に見えるんですかね？

まあ馬鹿を自覚したのか、攻撃の方向が変化しているのはいいことです笑
他人のことはどうでもいいので自分のことをせいぜい頑張ってください。

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 20:40:24.68

ファイバー束。ベクトル束。平面内の曲線。微分。接平面。大域的様子。微分可能多様体。線型な空間。接ベクトル束。ファイバー束。
素粒子論。場の理論。ファイバー束。同型類。グラスマン多様体。ファイバー束。積空間。射影。開区間。メビウスの帯。射影。位相空間。連続写像。位相同型写像。
全空間。底空間。ファイバー。射影。ファイバー束。局所自明写像。構造群。位相同型群。直積空間。ファイバー束。トリビアル束。リー群。閉部分群。ファイバー束。底空間。ファイバー束。接球束。同型写像。
ホップの写像。生成元。ファイバー写像。連続写像。図式。可換。ファイバー束。底空間。ファイバー写像。誘導束。定値写像。ファイバー束。誘導束。トリビアル束。
ファイバー束同型。ファイバー写像。位相同型。誘導束。同型。恒等写像。
数学でファイバー束の同型写像を固定する⇔物理ではゲージを定める
ベクトル束。多様体。ユークリッド空間。位相同型。接ベクトル束。ファイバー束。ベクトル束。位相空間。局所自明性。直積空間。ベクトル束写像。ファイバー写像。制限。
線型同型。ベクトル束同型。ベクトル束写像。底空間。ベクトル束同型。トリビアルベクトル束。微分位相同型。多様体。グラスマン多様体。
写像。ホモトピー類。特性類。ホモロジー群。グラスマン多様体。実グラスマン多様体。複素グラスマン多様体。位相同型。線型部分空間。
位相同型。コンパクト多様体。近傍。グラスマン多様体。標準ベクトル束。積空間。位相同型。標準ベクトル束。メビウスの帯。グラスマン多様体。標準ベクトル束。
セル複体。束ホモトピック。ベクトル束写像。誘導束。トリビアルベクトル束。メビウス束。実射影空間。位相同型。ホモトピー類。グラスマン多様体。分類空間。
等質空間。複素ベクトル束。複素グラスマン多様体。分類空間。ホモトピー類。コホモロジー群。係数群。準同型。特性類。

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 20:46:23.89

やり直し。
積空間。ホモロジー群。普遍係数定理。可換群。テンソル積。有限生成。可換群。テンソル積。
Hom。準同型写像。可換群。直和。
捻れ積。捻れ部分。部分群。直和。可換群。捻れ積。
拡大。同型類。可換群。直和。
積空間。チェイン複体。クロス積。ホモロジー群。コホモロジー群。カップ積。積空間。対角線写像。クロス積。カップ積。チェイン。テンソル積。連続写像。コホモロジー群。
カップ積。複素射影平面。多様体。普遍係数定理。ホモロジー群。拡大積。コホモロジー群。捻れ積。コホモロジー群。拡大積。可換群。積空間。コホモロジー群。公式。カップ積。

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 21:06:16.76

スペクトル系列。積空間。ホモロジー群。ファイバー束。全空間。ホモロジー群。底空間。スペクトル系列。ベクトル束の特性類。チャーン類。完全カップル。スペクトル系列。
完全カップル。可換群。準同型。導来カップル。制限。ホモロジー類。図式。導来カップル。完全カップル。可換群。準同型。スペクトル系列。収束。可換群。複階数付。直和。
第1象限複階数付。準同型。
複次数。微分。完全カップル。スペクトル系列。ファイバー束。積空間。テンソル積。スペクトル系列。単連結。セル複体。セル全体。可換群。底空間。ホモロジースペクトル系列。
単連結セル複体。ファイバー束。スペクトル系列。完全カップル。ファイバー束のスペクトル系列。セル複体。チェイン複体。普遍係数定理。
ファイバー束。スペクトル系列。潰れる。トリビアルファイバー束。ホモロジー類。輪体。普遍係数定理。自然な写像。自然な単射。セールのスペクトル系列。
底空間。単連結。ファイバー。ファイバー束。埋め込み。ホモロジー群。セールのスペクトル系列。潰れないスペクトル系列。複素射影空間。全空間。底空間。
セル複体。多様体。ホモロジー群。ファイバー束。Z係数ホモロジースペクトル系列。ホモロジー群。準同型。同型写像。コホモロジー群。普遍係数定理。コホモロジースペクトル系列。
ファイバー束。完全カップル。セールのホモロジースペクトル系列。コホモロジースペクトル系列。カップ積。交換可能。導来カップル。複階数付。可換群の列。
セールのコホモロジースペクトル系列。セル複体。ファイバー束。収束するスペクトル系列。第1象限複階数付。複次数。積。カップ積。係数の積。コホモロジースペクトル系列。
ファイバー。埋め込み。コホモロジー。ホモロジー群。スペクトル系列。コホモロジー群。ホモロジースペクトル系列。ホモロジー群。普遍係数定理。積の構造。
コホモロジースペクトル系列。同型写像。生成元。Z係数コホモロジー群。生成元。底空間。単連結。ファイバー束。普遍係数定理。潰れている。全射。単射。普遍係数定理。
分類空間。コホモロジー。複素ベクトル束。分類空間。R係数コホモロジー。部分群。ファイバー束。ファイバー束。位相同型。数学的帰納法。底空間。複素射影空間。ファイバー束。

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 21:30:23.87

コホモロジースペクトル系列。潰れる。実係数の多項式全体。可換群。環の構造。同型。生成元。射影。コホモロジー。準同型。単射。基本対称式。置換群。分類空間。
自己束同型。自己位相同型写像。不変。内部自己同型。恒等写像。ファイバー束。帰納法。複素ベクトル束。分類空間。単射写像。スプリット法。引き戻し。準同型。ベクトル束。
チャーン類。特性類。
チャーン類。複素ベクトル束。特性類。実ベクトル束。分類空間。コホモロジー。ポントリャーギン類。スティーフェルホイットニー類。実ベクトル束。
分類空間。コホモロジー。引き戻し。ポントリャーギン類。スティーフェルホイットニー類。実ベクトル束。特性類。多様体。大局的な曲がり方。完全カップル。導来カップル。スペクトル系列。
ファイバー束。ホモロジー群。スペクトル系列。複素射影空間。ホモロジー群。スペクトル系列。ファイバー束。コホモロジー群。スペクトル系列。複素ベクトル束。分類空間。
コホモロジー環。チャーン類。多項式環。
特性類。幾何学的表現。組合せ的。オイラー数。単体的複体。単体。単体的複体。オイラー数。オイラーポアンカレ標数。2次元単体的複体。位相空間。位相同型。2次元球面。
ホモトピー同値。不変。ホモロジー論。単体的複体。Z係数チェイン複体。輪体群。境界輪体群。ホモロジー群。完全系列。有限生成可換群。無限巡回群。有限巡回群。直和。同型。
階数。ホモトピー不変。オイラー数。位相同型。解析的指数。位相的指数。

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 21:30:47.77

アティヤ・シンガーの指数定理。
オイラー空間。n次元単体的複体。絡み複体。ユークリッド空間。三角形分割。位相同型。単体的複体。オイラー空間。
ホモロジースティーフェルホイットニー類。単体の重心。単体的複体。単体。重心細分。チェイン。オイラー空間。
輪体。境界作用素。像。球面のオイラー数。単体的複体のホモロジースティーフェルホイットニー類。連結な単体的複体。重心細分。頂点。境界。
実射影平面。トーラス。三角形分割。単体的複体。重心細分。定義通り。輪体。ベクトル束。分類空間。コホモロジー。多様体。接ベクトル束。分類写像。スティーフェルホイットニー類。
多様体。特性類。ホモトピー型。向き付け可能。必要十分条件。ポアンカレ双対。同型写像。ホモロジースティーフェルホイットニー類。スティーフェルホイットニー類。ポアンカレ双対。
ホモロジースティーフェルホイットニー類。多様体。ホモトピー型不変。オイラー空間。ホモトピー同値。ホモロジースティーフェルホイットニー類。特異点。複素解析空間。多様体ではない。オイラー空間。三角形分割。
ホモロジースティーフェルホイットニー類。特性類。幾何学的表現。オイラー類。向き付けされた接ベクトル束。分類写像。分類空間。コホモロジー。引き戻し。交代和。チャーン類。ポントリャーギン類。グラスマン多様体。チャーンサイモン不変量。

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 22:07:09.23

>>495
議論を順番に読まずに１つのレスだけ読んで理解できると思うほうが不思議なんだが

すべては>>477から始まっている
>>477>>479>>480>>482と読みたまえ

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 22:10:05.98

>>504
ぶっちゃけ479の時点から、あ、何もわからないんだな、としか思えないんですよねー

A|-B

この記号なんだかわかってませんよね

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 22:26:08.85

>>505
ageるなごみ

**ご冗談でしょう？名無しさん** · 2018/06/20(水) 23:13:09.93

37：GL2(R)のブリューア分解。gを2×2行列(a,b,c,d)とする。
(1) b≠0の時、
n(u)においてu=-d/bとするとng=(a,b,c',0)の形になる。左辺は正則なので右辺も正則となりc'≠0。
するとnga(c'^-1,b'^-1)n(-a/c')
=(a,b,c',0)(c'^-1,0,0,b'^-1)(1,0,-a/c',1)
=(a/c',1,1,0) (1,0,-a/c',1)=(0,1,1,0)=τ。
∴ NGB=τ。よってg=nτbとなる。
(2) b=0の時、g∈Bよりg= I2g∈NI2B。
NBは下三角行列である。τは下三角行列ではない。
従ってWはN\G/Bの完全代表系である。

38： g∈G、h∈Ker(φ)ならば準同型の定義式に入れて
ghg^-1∈Ker(φ)。よってKer(φ)◁ G1。(正規部分群)。

39：xNx^-1∈Nかつx^-1Nx∈Nを示す。
gNg^-1∈Nを示す。Nは正規部分群である。有限群ならば前者だけでOKである。
※要するに正規部分群であることの判定にはG、N共に生成元だけ考えれば良いということ。

40：39に従う。

41：1G N=Nは単位元となる。結合法則は定義式に入れて確認出来る。逆元の存在も同様。

42：全射であることは定義により明らか。
p58の積の定義により、写像πは準同型である。
単位元はNであるから、g∈G、π(g)=gＮ=Ｎ⇔g∈N。
よってKer(π)=Ｎ。

**ご冗談でしょう？名無しさん** · 2018/06/21(木) 01:18:18.65

>>505
> A|-B
>
> この記号なんだかわかってませんよね

君自身が分かってないんじゃないの？それはentailmentだよ

そしてHerbrandの演繹定理の最も簡単な形は　A |- B　⇒　|- A→B だ（普通は複数の前提を並べた形だがね）
君、理解できてる？

それとも “|-” はLKでのderivabilityの記号だとでも言いたかったのかな？
だったら>>479はきちんとそう書くべきだね
この記号 “|-” はもっと一般的なentailmentの記号として定着しているのだから

それにLKならば導出されるのはsequentであってformulaではない
だから |- をderivabilityの記号としてLKで使って |- A→B と書くのは有り得ない（完全な間違い）
LKでderivabilityを主張するのならば |- ―→　A→B と書かねばならない（“―→”はもちろんLKのsequentの左辺と右辺とを分ける記号で通常は長い矢印で書かれるもの）

まさか>>479での |- はLKでの“―→”のつもりで書いてたなんて非常識なことを主張する気じゃないよね

>>505の何も分かってない君、君はもう少し命題論理や述語論理の基本、特にNK, sequent形式によるNK, LKなどやderivability, entailmentの基本をきちんと勉強すべきだね、もちろんHerbrandの演繹定理も含めてね

**ご冗談でしょう？名無しさん** · 2018/06/21(木) 01:49:32.13

>>508
https://ja.wikipedia.org/wiki/%E3%82%B7%E3%83%BC%E3%82%AF%E3%82%A8%E3%83%B3%E3%83%88%E8%A8%88%E7%AE%97

私は|-これはシークエントの記号として慣れていますけどね

論理的帰結は|=だと思いますよ

**ご冗談でしょう？名無しさん** · 2018/06/21(木) 01:53:59.62

私はLKやLJしか詳しくないんですけど、あなたは知らないようですね

逆にあなたはNKやヒルベルト流の論理が得意みたいですね

あなたももっと勉強しましょうね

**ご冗談でしょう？名無しさん** · 2018/06/21(木) 02:05:19.72

シークエント
|-A→B
が証明されれば、健全性定理により
|=A→Bであることは明らかですね

でも、三田論法とかカット除去というのはあくまで証明論、統語的な話であって、意味にまで踏み込む必要はないんですよ
シークエントの導出が、LKにおける証明なわけですから

**ご冗談でしょう？名無しさん** · 2018/06/21(木) 23:08:25.85

多様体。微分形式。微分可能多様体。滑らかな図形。空間。局所座標。位相空間。n次元数空間。貼り合わせ写像。距離。三角不等式。
距離空間。位相空間。近傍。開集合。開近傍。メビウスの帯。同相写像。微分同相写像。微分同相写像。微分同相。逆関数の定理。ヤコビアン。微分同相。
n次元ベクトル空間。接空間。接ベクトル。方向微分。速度ベクトル。ハウスドルフの分離公理。ハウスドルフ空間。局所座標。座標近傍。局所座標系。第2可算公理。
位相多様体。アトラス。同相写像。座標変換。C^∞構造、C^∞微分可能多様体。C^∞多様体。逆関数の定理。微分同相。極大アトラス。極座標。恒等写像。
積多様体。n次元球面。同相写像。トーラス。ドーナツ面。開部分多様体。一般線型群。結び目の補空間。部分多様体。実射影空間。複素射影空間。全射。斉次座標。複素多様体。
正則写像。複素射影空間。複素リー群。直交群。特殊直交群。商群。有限群。リー群。ユニタリー群。C^∞関数。代数。C^∞写像。微分同相。ホップ写像。閉包。こぶ。
被覆。開被覆。局所有限。細分。コンパクト。パラコンパクト。位相多様体。第2可算公理。ハウスドルフ空間。基。台。1の分割。接ベクトル。速度ベクトル。方向微分。接空間。
単射。はめ込み。同相写像。埋め込み。全射。沈め込み。
ホップ写像。部分多様体。包含写像。微分同相写像。逆関数の定理。同相写像。ヤコビアン。アトラス。ベクトル場。
局所座標系。座標関数。微分。括弧積。ヤコビの恒等式。
リー代数。ベクトル空間。積分曲線。常微分方程式。極大積分曲線。平行移動。速度ベクトル。特異点。微分同相群。1パラメーター変換群。微分同相写像。
ベクトル場。変換。境界のある多様体。連続写像。第2可算公理。ハウスドルフ空間。開被覆。境界。メビウスの帯。閉多様体。
向き付け可能な曲面。射影平面。クラインの壺。同調する向き。順序付けられた基底。向け付け可能。向き。向け付けられた多様体。連結。貼り合わせ写像。座標変換。
局所座標系。向きを保つ。リーマン計量。複素構造。自己同型群。固定部分群。自由。軌道。軌道空間。商空間。離散群。真性不連続。被覆写像。被覆多様体。
単射。共役類。普遍被覆多様体。ホモトープ。ホモトピー類。誘導。商空間。ハウスドルフ空間。コンパクト。レンズ空間。アーベル群。階数。

**ご冗談でしょう？名無しさん** · 2018/06/22(金) 18:43:09.63

微分形式。微分可能多様体、微分形式。偏微分方程式。幾何学的構造。不変量。環の構造。代数。単位元。外積代数。単項式。直和分解。基底。線型結合。k次の微分形式。
k形式。外積。開集合。微分形式全体の作る代数。外微分。線型写像。全微分。閉形式。完全形式。ポアンカレの補題。ドラームコホモロジー論。微分同相。
準同型写像。座標。同型写像。アトラス。座標変換。外積代数。接空間。基底。双対空間。恒等的に1。行列。符号付き面積。単体。符号付き体積。多重線型。交代的。置換。
交代形式。局所座標によらない定義。双対空間。ベクトル空間。単位元。外積代数。グラスマン代数。直和分解。部分空間。基底。外積代数。交代形式。多重線型。ベクトル空間。写像。
交代的。置換。双対空間。外積代数。線型写像。行列式。同型写像。双対基底。全射。同型。線型性。平行体の体積。特性類の一般論。外微分。係数。余接空間。外積代数。
座標関数。基底。双対空間。双対基底。ベクトルバンドル。局所表示。余接バンドル。ベクトルバンドル。切断。微分形式。交代形式。多重線型。交代的。
単射。加群。ベクトル場。関数倍。微分形式。多様体。直積。加群。局所座標系。開近傍。恒等的に1。外積。結合的。双線型写像。

**ご冗談でしょう？名無しさん** · 2018/06/22(金) 18:43:25.63

外微分。引き戻し。内部積。リー微分。反微分。線型作用素。代数的な定義。カルタンの公式。リー微分。内部積。リー微分。カルタンの公式。
カルタンの公式とリー微分。リー微分。1パラメーター局所変換群。括弧積。位相。1パラメーター局所変換群。微分同相写像。フロベニウスの定理。積分曲面。積分曲線。極大積分曲線。
共通部分。分布。部分空間。積分多様体。完全積分可能。フロベニウスの定理。包含的。括弧積。可換。ベクトル場。フロベニウスの定理。多様体。分布。完全積分可能。
包含的。積分多様体。ベクトル場。局所表示。積分多様体。部分多様体。埋め込み。積分多様体。極大積分多様体。1対1。はめ込み。極大積分多様体。部分多様体。微分形式。
分布。部分空間。微分形式。イデアル。線型独立。外積。開近傍。双対的。微分イデアル。外微分。積分可能条件。多重線型写像。微分可能。外微分。双線型写像。
合成写像。誘導する。基底。外微分。モーラーカルタン形式。リー群。リー代数。単位元。括弧積。構造定数。基底。双対空間。微分形式。モーラーカルタン形式。定数関数。
モーラーカルタン方程式。基底。リー微分。内部積。外微分。シンプレクティック形式。

**ご冗談でしょう？名無しさん** · 2018/06/22(金) 19:01:43.68

ドラームの定理。ホモロジー群。ポアンカレ。サイクル。微分可能多様体。アーベル積分。層コホモロジー論。多様体のホモロジー。単体複体のホモロジー。
位相空間。単体複体のホモロジー論。三角形分割。胞体複体のホモロジー論。特異ホモロジー論。最小の凸集合。単体。単体複体。多面体。位相空間。単体複体。三角形分割。
ユークリッド単体複体。抽象的単体複体。ホモロジー群。向き。境界作用素。準同型写像。商群。サイクル。バウンダリー。チェイン複体。相対ホモロジー群。アーベル群。
コホモロジー。双対。チェイン複体。準同型写像。境界作用素。コサイクル。コバウンダリー。コホモローグ。チェイン複体。ホモロジー群。双対コチェイン複体。コホモロジー群。
クロネッカー積。双線型写像。クロネッカー積。特異ホモロジー。標準的k単体。特異k単体。連続写像。特異ホモロジー群。位相不変。 C^∞三角形分割。埋め込み。コンパクトな C^∞多様体。
ホモロジー。接ベクトル。無限巡回群。ホモロジー類。位相不変性。基本類。連結で向き付け可能。トム。特異チェイン複体。 C^∞特異k単体。 C^∞写像。自由アーベル群。
ドラームの定理。特異チェイン。ホモロジー群。微分形式の積分。ストークスの定理。台がコンパクト。リーマン積分。微分同相。座標変換。ヤコビ行列。行列式。ヤコビアン。向き。台。
最小の閉集合。多様体。1の分割。

**ご冗談でしょう？名無しさん** · 2018/06/22(金) 19:27:58.24

ストークスの定理。フビニの定理。微分形式のチェイン上の積分。特異チェイン複体。チェイン上のストークスの定理。変数変換。ドラームの定理。ドラームコホモロジー。
完全形式。閉形式。ドラームコホモロジー群。コチェイン複体。ドラーム複体。ドラームコホモロジー代数。準同型写像。合成写像。ドラームの定理。微分構造。位相空間。コチェイン写像。図式。ストークスの定理。準同型写像。同型写像。包含写像。誘導。
三角形分割。チェインホモトピー同値。ベッチ数。ホモローグ。唯一通り。ポアンカレの補題。ホモトピー型。可縮。ドラームコホモロジーのホモトピー不変性。
互いに同型。ドラームコホモロジー。チェックコホモロジー。位相空間。脈体。アーベル群。開単体。開星状体。境界作用素。可縮な開被覆。
開星状体。リーマン計量。可換な図式。包含写像。二重複体。三角形分割。積構造。代数。カップ積。胞体。胞体複体。対角写像。同型写像。クロス積。
コホモロジー作用素。ホップ不変量。ホモトピー類。ホモトープ。2次元の多様体。連続写像。包含写像。境界のある多様体。ストークスの定理。
ホップ写像。オイラー類。接続形式。曲率形式。ファイバー上の積分。マッセイ積。三重積。コホモロジー類。商空間。トーラス。バンドル。オイラー類。3次元閉多様体。リー群。
真性不連続。マッセイ積。
コンパクトリー群のコホモロジー。外積。単射。微分形式。モーラーカルタン方程式。ドラーム複体。部分複体。準同型写像。カルタンアイレンベルグ。コンパクトリー群。
微分形式。同型写像。ハール測度。直積。体積要素。写像度。巻きつく回数。絡み目。まつわり数。

**ご冗談でしょう？名無しさん** · 2018/06/22(金) 23:14:31.40

43：
(1)(g1,1)(1,g2)=(1,g2)(g1,1)=(g1,g2)となり可換である。
(2)a∈G1、(b,c)∈G1×G2とすると、
(b,c)(g1,1)(b,c)^-1=(bg1b^-1,1)てあるからG1◁G1×G2。
同様にG2◁G1×G2。

44：φ(h,k)= hk:H×K→Gとする。これは全射である。
hkh'k'=(hkh')k'、ここでK◁Gよりhkh'∈K。
よってhkh'k'∈K。同様にしてhkh'k'∈H。∴ hkh'k'=1。
∴ hk=kh。準同型の定義式を満たすのでφは準同型。
(h,k)∈ Ker→hk=1からh=k=1が導ける。
Ker=1となり単射であるから同型である。

45： (m,n)=1→Z/mnZ～Z/mZ×Z/nＺ。
中国式剰余定理の証明。
φ(x+ mnZ)=(x+mZ,x+nZ)と定義すると
φはwell-definedである。
準同型であることは明らか。
z= may+nbx (ma+nb=1)と置いて
全射であることか示せる。
元の個数が等しい集合の間の全射なので
全単射となり、同型であることが示された。

46：45の中にある。

47：35x+3=41y+5の特殊解を見つけると、
x=27で、948。

48：|G|=12より部分群の位数|H|=1,2,3,4,6,12。
1の時、{0}。12の時、G。
2の時、2は素数なので010, 100, 110。
3の時、3は素数なので001, 002。
これらは同じなので001。
4の時、〈010,100〉。
6の時、〈001,010〉〈001,100〉〈001,110〉。

**ご冗談でしょう？名無しさん** · 2018/06/22(金) 23:58:17.84

1-1：
(1)→(2)の証明。
a∈S→f(a)∈f(S)、a∈f^-1(f(S))。∴ S⊂f^-1(f(S))。
∃b∈S、f(a)= f(b)。
fは単射なのでa=b。∴ a∈S。よってf^-1(f(S))⊂S。
従ってS=f^-1(f(S))。
(2)→(1)の証明。
a, b∈A、f(a)=f(b)とすると(2)よりa=b。
これで単射が示せた。

1-2：|A|=|B|の時、
(1)A⊂B→A=B。
(2)写像f:A→ Bが単射または全射→全単射。
どちらも自明。

1-3：
ツォルンの補題「Xは順序集合で、任意の全順序部分集合A⊂Xが上界を持つならばXは極大元を持つ」
これは
選択公理「λ∈Λを添字集合とする空でない集合より成る集合族を{Aλ}とする時、直積ΠAλは空集合ではない。
と同値。

1-4：(1)自明。(2)選択公理より成り立つ。(3)自明。

1-5：(1)無限集合の濃度一般。(2)直積の濃度。
(3)部分集合の濃度。

1-6：べき集合の濃度。

3-1：解と係数の関係を使って計算すれば良い。
g=0は4次方程式f=0の3次の分解方程式という。

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 00:03:43.65

なんでブログでやらないの？

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 11:08:44.86

>>518
1-4：定理1.4.2 (濃度の基本的性質)
(1) A，B が集合で |A|≦|B|，|A|≧|B| なら |A|＝|B| である．
(2) 集合Aから集合Bへの全射写像があれば，|A|≧|B| である．
(3) A，B が集合なら、|A|＜|B|，|A|＝|B|，|A|＞|B| のどれかが必ず成り立つ．

(1) はベルンシュタインの定理、(3) は濃度の比較可能定理
本当ならこれらを「自明」で片付けることはできない。

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 18:40:56.53

>>519
考えたことないです
>>520
数学に関する考え方にかなりの相違がありますね

ラプラシアン。調和形式。リーマン多様体。微分形式。接ベクトル。微分可能多様体。曲面。ガウス。閉じたリーマン多様体。ドラームの定理。ドラームコホモロジー類。
閉形式。調和形式。ラプラシアン。微分形式。微分作用素。ホッジ。調和積分論。リーマン計量。正値。内積。リーマン計量。リーマン多様体。実ベクトル空間。
対称。双線型写像。局所座標系。変数変換。リーマン計量。2次の対称テンソル。n次元ユークリッド空間。正規直交基底。双曲平面。非ユークリッド幾何学。リーマン部分多様体。
同型。同型対応。接空間。双対空間。余接空間。同型。勾配。等位面。同型対応。誘導。外積。行列式。双対基底。
ホッジのスター作用素。各点における線型代数。グラムシュミットの直交化法。
正規直交基底。正規直交枠の場。正規直交枠。双対基底。体積要素。リーマン計量。体積。発散。
ラプラシアン。調和形式。リーマン多様体。コンパクト。境界の無い。微分形式。内積。ベクトル空間。無限次元。線型性。対称性。正値性。ホッジの作用素。線型作用素。
随伴作用素。外微分。ストークスの定理。共役作用素。自己随伴。自己共役。リーマン多様体。ラプラシアン。ラプラスベルトラミ作用素。調和形式。調和関数。ラプラス作用素。
コンパクト性。ホッジの定理。向き付けられたコンパクトリーマン多様体。境界の無いもの。調和k形式。閉形式。ドラームコホモロジー類。
線型写像。誘導。単射。完全形式。同型。有限次元。ホッジの定理。同型写像。ホッジ分解。小平。ドラーム。調和形式+完全形式+双対完全形式。コホモローグ。
直交。グリーン作用素。全単射。射影。可換。楕円型偏微分方程式。偏微分作用素。非特異。表象。シンボル。ラプラス作用素。複素ベクトルバンドル。切断。
局所自明化。ポアンカレの双対定理。ストークスの定理。非退化。同型写像。誘導。ベッチ数。オイラー数。オイラーポアンカレ標数。三角形分割。同型。交わり数。台を持つ。
交わり数。交叉数。交叉形式。対称行列。符号数。

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 19:12:52.30

ベクトルバンドル。特性類。微分可能多様体。接空間。微分形式。埋め込み。接バンドル。コホモロジー。特性類。接バンドル。積多様体。アトラス。
ベクトルバンドル。局所自明性。複素ベクトルバンドル。直線バンドル。全空間。射影。底空間。ファイバー。自明化。微分同相写像。変換関数。コサイクル条件。バンドル写像。
同型。積バンドル。自明なバンドル。切断。ゼロ切断。0にならない切断。枠。制限。誘導バンドル。引き戻し。包含写像。
部分バンドル。商バンドル。法バンドル。部分バンドル。複素直線バンドル。複素ベクトルバンドル。ホップの直線バンドル。複素化。
直交補空間。法バンドル。リーマン計量。内積。エルミート内積。直和。テンソル積。双対ベクトル空間。外積代数。ホイットニー和。双対バンドル。外積バンドル。
接バンドル。余接バンドル。チャーン類。ファイバー。外積バンドル。射影空間。接バンドル。ホップの直線バンドル。リーマン計量。
直交補バンドル。接空間。平行移動。実射影空間。積バンドル。部分バンドル。直交補バンドル。バンドル同型。ホイットニー和。切断。実ベクトルバンドル。複素射影空間。双対バンドル。同型ではない。
測地線。直和分解。加速度ベクトル。接平面方向。法線方向。微分。測地線。共変微分。平行。共変微分。平行移動。曲率。接続。双線型写像。共変微分。
積構造。自明な接続。共変微分。括弧積。微分形式。曲率。接続形式。曲率形式。構造方程式。変換公式。変換関数。多重線型。交代的。
自己準同型。共変外微分。ポントリャーギン類。曲率形式。変換関数。微分形式。曲率形式。多項式関数。不変多項式。基本対称式。
多項式環。対角成分。単射性。相似。対角行列。ニュートンの公式。ビアンキの恒等式。トレース。ポントリャーギン類。ドラームコホモロジー類。ホモトープ。特性類。
誘導された接続。両立する。計量接続。ポントリャーギン類。特性類。曲率形式。全ポントリャーギン類。ポントリャーギン形式。ポントリャーギン類。不変多項式。

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 19:33:31.49

野球場でサッカーをやってる気分はどう？

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 20:22:27.18

49：準同型定理。第1同型定理。
N=Ker(φ)と置く。ψ(gN)=φ(g)とする。
φ(gn)=φ(g)φ(n)=φ(g)1=φ(g)。
従ってψ:G/N→Hはwell-definedである。
ψ(gN)(hN)=ψ(ghN)=φ(gh)=φ(g)φ(h)=ψ(gN)ψ(hN)となるのでψは準同型写像である。φ=ψ○πは定義により明らか。
ψ(gN)=1→φ(g)=1なのでgNはG/Nの単位元である。よってψは単射である。
φ(g)=ψ(gN)なのでIm(φ)⊂Im(ψ)。
任意の元∈G/NはgNなのでIm(φ)⊃Im(ψ)。
ψは単射なのでG/Ker(φ)とIm(φ)は同型である。

50：準同型定理。部分群の対応。
H∈X→1∈HなのでN=π'(1)⊂π'(H)。特に1⊂π'(H)。
φはwell-definedである。またN◁Kも示される。
ψはwell-definedである。φ○ψ (K)= Kとなる。
Kは集合だがここでは元とみなしていることに注意。
πは全射である。
ψ○φ(H)=Hも成り立つのでφとψが互いに逆写像である。

51：第2同型定理。
(1)単位元を持つ。積について閉じている。逆元について閉じている。これらを定義に基づいてしめす。可換であることも自明。
(2)自然な写像f:H→HN/Nは全射準同型写像である。
Ker(f)=H∩N。よってH∩N◁H。
また、H/H∩N～HN/N。

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 21:13:15.99

>>523
野球もサッカーもやりません。

52：第3同型定理。
(1)φ:G/N→G/N'、φ(xN)=xN'と置くとφはwell-definedな写像となる。準同型性は自明。φを自然な準同型という。
(2)Kerφ=N'/Nであるから
問題49より(G/N)/(N'/N)～G/N。

53：準同型の分解。
φ=ψ○π。 N=Kerπ⊂Kerφ。
逆にN⊂Kerφとするとx∈G→f(xN)=xN'と
なる準同型f:G/N→G/N'が存在する。
問題49によりφ=ψ'○π'となる準同型写像φが存在する。f○π=π'。よってφ=ψ'○f○π。従ってψ=ψ'○fと置けば良い。

54：中国式剰余定理より、G～Z/8Z×Z/8Z×Z/3Z。
Gは可換群なので任意の部分群は正規部分群である。
指数2の部分群をHとするとG/H～Z/2Z。
H⊃2Gが示される。問題50によりHはG/2Gの指数2の部分群とと1対1に対応する。
Z/3Zにおいて2倍写像は全単射である。
すなわち012→(024)→021。よってG/2G～Z/2Z×Z/2Z。
これの位数は4なので指数2の部分群は位数2の部分群と同じことである。従って00,01、00,10、00,11の3個である。

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 21:26:03.86

要するに2chしか居場所がないという訳か
ここにも本当はないんだけどな

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 21:56:26.91

野球場でサッカーのユニフォームを着て将棋をやってる気分はどう？

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 22:06:03.81

相変わらず本文と問題のレベルに差がありすぎるのな

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 22:37:40.92

http://xn--torv2pmd250s3fcque.com/

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 23:21:33.20

自分より頭の悪い人しかいないので気が楽です。

レビチビタ接続。曲面。接バンドル。リーマン部分多様体。任意のリーマン多様体。接バンドル。レビチビタ接続。リーマン接続。座標近傍。正規直交枠。
双対枠。レビチビタ接続。接続。リーマン計量。正規直交枠。ベクトルバンドル。双対ベクトルバンドル。接続形式。双対枠。合成写像。外微分。
リーマン多様体。チャーン類。複素ベクトルバンドル。接続。曲率。チャーン類。特性類。ポントリャーギン類。切断。加群。複素数値関数。微分形式。
複素ドラーム複体。コチェイン複体。コホモロジー。ドラームの定理。複素ベクトルバンドル。接続。実バンドル。ベクトルバンドル。
微分形式。複素線型写像。複素ベクトルバンドル。曲率。接続形式。曲率形式。構造方程式。ビアンキの恒等式。変換公式。変換関数。
チャーン類。複素ベクトルバンドル。接続。曲率。局所的。多項式関数。不変多項式。同型対応。代数。ドラームコホモロジー類。複素ベクトルバンドル。特性類。
バンドル写像。誘導バンドル。チャーン類。全チャーン類。チャーン形式。複素コホモロジー群。実コホモロジー類。ポントリャーギン類。実ホモロジー類。
リーマン計量。エルミート計量。ファイバー。正値エルミート内積。共役線型。曲率形式。歪エルミート行列。ホイットニーの公式。ベクトルバンドル。ホイットニー和。
特性類。ホイットニーの公式。曲率形式。ポントリャーギン類。チャーン類。実ベクトルバンドル。共役バンドル。エルミート計量。ファイバー。
複素ベクトルバンドル。共役バンドル。チャーン類。双対バンドル。歪エルミート行列。チャーン類。ファイバー。同型。ホイットニーの公式。オイラー類。接空間。向き。基底。同値類。向き付け可能。ファイバー。局所自明化。
連結。向き。向き付けられた。オイラー類。

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 23:29:20.07

>>530
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ

わからないんですか？

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 23:37:54.78

リーマン計量。ポントリャーギン類。コホモロジー類。オイラー類。パフ多項式。直交行列。リー群。不変多項式。曲率形式。正規直交枠。曲率形式。オイラー形式。
オイラー類。リーマン計量。ポントリャーギン類。リーマン計量。オイラー類。射影。ファイバー。ファイバーバンドル。第1障害類。位相的。エルミート計量。接続。
曲率。正規直交枠。歪エルミート行列。エルミート計量。リーマン計量。曲率形式。ユニタリー行列。対角化。直交行列。不変性。多様体。ホイットニー和。
特性類。ガウスボンネの定理。多様体。リーマン計量。接続。リーマン計量。レビチビタ接続。曲率形式。ベクトルバンドル。切断。
リーマン計量。接続。局所的。正規直交枠。接続形式。構造方程式。曲率形式。オイラー形式。特異点。単体写像。連続写像。重心。像。ベクトルバンドル。連続な切断。
特異点。重心。ベクトル場。特異点。孤立特異点。近傍。モース理論。勾配ベクトル場。オイラー形式。モース関数。標準形。
臨界点。原点。指数。リーマン計量。ユークリッド計量。接続。接続。ユークリッド計量。交代行列。接続形式。構造方程式。ストークスの定理。ベクトル場。符号。
接続。積分。線型結合。恒等写像。自己同型。曲率形式。特異点。ベクトル場。直積。射影。接バンドル。引き戻し。特異点。ホイットニー和。オイラー類の公式。積分。
複素射影空間。多様体。接バンドル。ポントリャーギン類。複素ベクトルバンドル。チャーン類。コホモロジー。胞体。ホモロジー群。コホモロジー群。
生成元。コホモロジー環。同型。ホップの直線バンドル。包含写像。チャーン類。引き戻し。ホイットニーの公式。ガウスボンネの定理。複素射影空間のチャーン類。ホイットニーの公式。

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 23:38:24.89

ガウスボンネの定理。複素射影空間。ポントリャーギン類。複素ベクトルバンドル。ポントリャーギン類。コホモロジー。ポントリャーギン数。チャーン類。チャーン数。
特性数。トム。同境理論。微分可能多様体。分類理論。同境。コンパクト。向き付けられた。多様体。位相的。直和。0に同境。ポントリャーギン数。包含写像。接ベクトル。同型写像。ストークスの定理。
ポントリャーギン類。多項式。ポントリャーギン形式。多様体。ホイットニー類。巡回群。閉多様体。スティーフェルホイットニー数。トム。ポントリャーギン数=スティーフェルホイットニー数。
不変量。符号数定理。不定元。形式冪級数。基本対称式。多項式。符号数定理。閉多様体。底空間。ベクトル空間。局所的に直積。接空間。ベクトルバンドル。接バンドル。
測地線。切断。底空間。曲率。共変外微分。構造方程式。特異点。特性類。ドラームコホモロジー類。ガウスボンネの定理。

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 23:39:28.16

>>531
そんなクソみたいな学問には興味がありません。

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 23:41:28.98

>>534
わからないんですね(笑)(笑)(笑)

頭悪いんですね

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 23:43:13.17

>>531
この前みたいに馬鹿同士でやり合っててください
見てて別に面白くもないし興味も無いですけど
俺を巻き込もうとしないでね

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 23:44:35.14

わからない人が何か言ってますね

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 23:45:26.70

>>535
あなたは「全く非論理的な応答しかできない馬鹿」なので今後はあなたと判明した段階であなたのレスを無視しますね

**ご冗談でしょう？名無しさん** · 2018/06/23(土) 23:47:47.35

以上、わからない負け犬の遠吠えでした(笑)

**ご冗談でしょう？名無しさん** · 2018/06/24(日) 00:22:29.83

力学系の円周上の同相写像の回転数の定義がすんなり頭に入ってこなくて焦った

**ご冗談でしょう？名無しさん** · 2018/06/24(日) 06:22:26.17

>>530
気付きたくないだけかも知れないけど、お前も結構頭悪いよ？

**ご冗談でしょう？名無しさん** · 2018/06/24(日) 18:03:34.08

ファイバーバンドル。特性類。多様体。接バンドル。ベクトル空間。ベクトルバンドル。ポントリャーギン類。チャーン類。ファイバーバンドル。多様体。
主バンドル。リー群。ファイバーバンドル。チャーンヴェイユ理論。チャーンヴェイユ理論。主バンドル。曲がり具合。接続。曲率。ドラームコホモロジー。ベクトルバンドル。
特性類。ファイバーバンドル。主バンドル。多様体。積多様体。射影。積バンドル。写像。ファイバー。微分可能ファイバーバンドル。
微分可能Fバンドル。微分同相。全空間。底空間。ファイバー。射影。繊維。束。多様体。位相空間。連続写像。位相同型。バンドル写像。同型。
自明なバンドル。自明化。切断。被覆。変換関数。コサイクル条件。直和。商空間。同値関係。構造群。バンドル写像。恒等写像。同型。
誘導バンドル。主バンドル。主Gバンドル。特性類。オイラー類。ファイバーバンドル。リー群。ポントリャーギン類。チャーン類。リー群。構造群。
微分形式。分類空間。位相群。普遍Gバンドル。ホモトピー。引き戻し。1対1対応。同型類全体。ホモトピー類全体。分類空間。コホモロジー群。
ベクトルバンドル。構造群。接空間。基底。正則行列。軌道空間。射影。接枠バンドル。リーマン計量。正規直交枠。構造群。主バンドル。同伴主バンドル。
被覆多様体。被覆写像。ファイバー。普遍被覆。被覆変換群。オイラー類。微分同相。部分群。右作用。三角形分割。切片。単体複体。ホモトピー。
射影。写像度。切断。コホモローグ。コチェイン。道。コホモロジー類。同型。誘導。オイラー類。コホモロジー類。三角形分割。

**ご冗談でしょう？名無しさん** · 2018/06/24(日) 18:23:20.50

たまに病院行くとこういうヤツいるｗ

**ご冗談でしょう？名無しさん** · 2018/06/24(日) 18:52:15.10

たまにじゃなくてずっと居れば？

**ご冗談でしょう？名無しさん** · 2018/06/24(日) 18:54:04.43

いや、耐えられないから無理ｗ

**ご冗談でしょう？名無しさん** · 2018/06/24(日) 21:50:55.11

じゃあにちゃんねるに居座って毒電波浴び続けるのはオススメしないな

**ご冗談でしょう？名無しさん** · 2018/06/24(日) 22:09:39.38

>>1
まじかー

学生のときに出会っていたら…。

**ご冗談でしょう？名無しさん** · 2018/06/24(日) 22:45:30.45

S^1バンドルの分類。オイラー類。向き付けられたS^1バンドル。不変量。構造群。オイラー類。特性類。バンドル写像。同型。オイラー類。多様体。
三角形分割。切断。底空間。単体複体。ホモロジー論。ホモトープ。単体写像。底空間。コホモローグ。同型写像。境界上。局所自明化。連続写像。普遍被覆。
同型写像。単射性。リー群。左不変。極座標。多様体。全空間。主S^1バンドル。接続形式。接ベクトル。座標関数。接続形式。底空間。沈め込み。単射。閉形式。
ドラームコホモロジー類。外微分。接続形式。曲率形式。実オイラー類。切断。微分形式。三角形分割。1の分割。リーマン計量。ファイバーバンドル。第1障害類。オイラー類。
ポントリャーギン類。チャーン類。ガウスボンネの定理。多様体の三角形分割。接バンドルの接続。オイラー形式。ベクトル場。特異点。
孤立特異点。写像度。微分同相。ホップの指数定理。ポアンカレ。単位球面バンドル。ガウスボンネの定理。三角形分割。重心。接続。
直積。底空間方向。ファイバー方向。直和。直和分解。接ベクトル。ファイバーバンドル。接ベクトル。不変量。特性類。接続。多様体。リーマン計量。
分布。直交補空間。水平なベクトル。持ち上げ。水平な持ち上げ。接続。部分空間、極大積分曲線。リー代数。モーラーカルタン形式。随伴表現。準同型写像。
基本ベクトル場。接続形式。自明な接続。モーラーカルタン方程式。曲率形式。構造方程式。ビアンキの恒等式。双対基底。ヴェイユ代数。微分形式。合成写像。
外積。多項式関数。ヴェイユ代数。次数。積。接続形式。曲率形式。部分代数。微分形式。外微分。可換。図式。内部積。リー微分。接続形式。曲率形式。
反微分。次数。無限小。可換性。外微分。

**ご冗談でしょう？名無しさん** · 2018/06/25(月) 01:27:20.82

交換可能。反微分。斉次元。ヴェイユ代数。外微分。可換。ヴェイユ準同型。主Gバンドル。接続。リー代数。ヴェイユ代数。準同型写像。外微分。
ファイバーバンドル。単射。微分形式。底的。連結。底的。局所的。多項式関数。部分代数。不変多項式。不変多項式代数。斉次元。反微分。準同型写像。コホモロジー。ヴェイユ準同型。チャーンヴェイユ理論。主定理。
主Gバンドル。接続。ヴェイユ準同型写像。特性類。自然な射影。開被覆。自然な包含写像。合成写像。恒等写像。基底。双対基底。多項式環。ドラームコホモロジー類。
底空間。多重線型写像。直積。置換。次数付き代数。同型。積。対称。多重線型写像。複素ベクトルバンドル。同伴。1対1の対応。誘導。
自明化。モーラーカルタン形式。接続。切断。全単射。変換関数。特性類。リー群。不変多項式代数。特性類。コンパクト。リー群。
リー代数。ドラーム複体。コホモロジー群。可縮。外積代数。反微分。コホモローグ。チャーンサイモン形式。低次元多様体。幾何学。ゲージ理論。
平坦な接続。平坦Gバンドル。ホロノミー準同型。ホロノミー。ファイバー。共役。ホロノミー。フロベニウスの定理。全空間。水平なベクトル。
完全積分可能。フロベニウスの定理。完全積分可能。平坦。包合的。水平なベクトル場全体。平坦な接続。極大積分多様体。制限。
近傍。微分同相写像。閉曲線。ファイバー。ホロノミー準同型。準同型写像。準同型写像。ホロノミー。共役。底空間。ホロノミー。平坦バンドル。同型類。ホロノミー。リー群。
準同型写像。オイラー類。ホップの指数定理。微分。ヴェイユ代数。特異点。ドラーム複体。部分代数。不変多項式代数。ベクトルバンドルの接続⇔同伴する主バンドルの接続。曲率0。主バンドル。平坦バンドル。
微分可能多様体。微分形式。特性類。コホモロジー。スティーフェルホイットニー類。ポントリャーギン類。特性類。ドラームの定理。チャーンヴェイユ理論。
接バンドル。曲率形式。特性類。特性数。トム。閉多様体。トム複体。ホモトピー群。代数的位相幾何学。ポントリャーギン数。スティーフェルホイットニー数。
不変量。微分トポロジー。微分構造。分類理論。符号数定理。物理的な考え方。

**ご冗談でしょう？名無しさん** · 2018/06/25(月) 01:31:54.44

yousi! 1:2だ！

**ご冗談でしょう？名無しさん** · 2018/06/25(月) 07:48:51.14

はじめの方こそレビューめいたことやってたのに、どうしてコピペ爆撃なんて始めたんだ？

**ご冗談でしょう？名無しさん** · 2018/06/25(月) 21:18:19.12

フェルマー。数論。最終定理。ワイルズ。ディオファントス。三平方の定理。ピタゴラス。類体論。素数。素数の積。素元の積。拡大。類体論。
高木貞治。ペル方程式。可逆元。代数的整数論。ディリクレの単数定理。n角数。保型形式。楕円曲線。
楕円曲線の有理点。モーデルの定理。楕円曲線。可換体。整数点。有理点。全単射。高さ。無限降下法。群構造。無限遠点。モーデルの定理。有限生成アーベル群。互いに素。
2次曲線。p進数体。平方剰余記号。平方剰余の相互法則。乗法群。巡回群。位数。可逆元。中国式剰余定理。ヒルベルト記号。部分環。準同型。環準同型。
ヒルベルト記号。積公式。p進数体。ヒルベルト記号。p進数。遠近感。p進付値。p進絶対値。収束。p進距離。距離空間。完備化。コーシー列。p進コーシー列。
p進整数。逆極限。乗法的構造。平方元。
ζ。ζ関数。円周率。オイラー。リーマンζ関数。ディリクレ指標。ディリクレL関数。素元分解整域。類数公式。岩澤理論。sin関数。積公式。準同型。解析接続。リーマンζ関数。
フルヴィッツζ関数。解析接続。部分リーマンζ関数。ベルヌーイ数。ベルヌーイ多項式。関孝和。正則関数。一様収束。Γ関数。一位の極。正則。有理型関数。関数等式。リーマンζ関数。クンマー。多重フルヴィッツζ関数。絶対収束。有理型関数。
代数的整数論。クンマー。有限次拡大体。代数体。素元分解。一意分解整域。共役複素数。素イデアル分解。類数の有限性定理。ディリクレの単数定理。
整数環。代数体。整閉包。ネーター整閉整域。有限次分離拡大体。イデアル。主イデアル。単項イデアル。主イデアル整域。単項イデアル整域。デデキント環。整数環。
クンマー。代数体。デデキント。代数幾何。イデアル類群。単数群。主分数イデアル。単数群。ディリクレの単数定理。有限巡回群。基本単数。類数公式。
フェルマーの最終定理。クンマーの判定法。岩澤理論。可換環。デデキント環。極大イデアル。ネーター環。整閉包。整閉。素イデアル。
剰余環。デデキント環。分数イデアル。イデアル類群。

**ご冗談でしょう？名無しさん** · 2018/06/25(月) 23:00:57.23

類体論。平方剰余の相互法則。円分体。2次体。分解。素元。可逆元,一意分解整域。不分岐。分岐。完全分解。代数体の拡大。ガロア群。アーベル群。アーベル拡大。
非アーベル拡大。保型形式論。平方剰余の相互法則。補充法則。原始的。
局所と大域。単項イデアル整域。離散付値。離散付値環。付値環。完備化。標数。剰余。位相群。局所体。ルベーグ測度り不変測度。分岐指数。フロベニウス置換。
フロベニウス共役類。ガロア拡大。判別式。アイゼンシュタイン多項式。巡回群。最大不分岐拡大。ガロア拡大。完全分解。分解群。アデール環。イデール群。直積環。直積群。
主アデール。主イデール。イデール類群。位相。制限直積。アデール環。主アデール。稠密。コンパクト。イデール群。
主イデール。単数定理。ディリクレの単数定理。
無限素点。イデール類群。商。イデアル類群。商群。分数イデアル群。同型。分離。離散。分離。商空間。連続全射。因子類群。因子群。主因子群。主因子。
アデール環。イデール群。コンパクト群を無視すれば同型。核。余核。位相同型。商空間。包含写像。積測度。制限直積。不変測度。積分。ハール測度。像。
指標。指標群。ポントリャーギンの双対定理。局所コンパクトアーベル群。位相アーベル群。同型写像。単位群。単位元。大域体。稠密性。
イデアル類群。イデール類群。イデアル。開部分群。有限素点。標準全射。単項分数イデアル群。

**ご冗談でしょう？名無しさん** · 2018/06/25(月) 23:08:19.93

真面目な話、学部の時点で物理数学ってどのくらいやるべきなん？

**ご冗談でしょう？名無しさん** · 2018/06/25(月) 23:16:12.34

>>554
ベクトル解析
複素積分
フーリエ展開・変換
線形代数(固有値問題など)
微分方程式
は必須

**ご冗談でしょう？名無しさん** · 2018/06/25(月) 23:30:56.25

でも量子論と相対論までやるなら関数解析と微分幾何を勉強するわけだろ結局

**ご冗談でしょう？名無しさん** · 2018/06/25(月) 23:39:06.55

数理論理学

**ご冗談でしょう？名無しさん** · 2018/06/25(月) 23:46:43.04

物理数学などない
あるのは数学だけ

**ご冗談でしょう？名無しさん** · 2018/06/25(月) 23:51:21.29

物理も数学学もない
あるのは学問だけ

**ご冗談でしょう？名無しさん** · 2018/06/26(火) 17:49:12.47

同じアスペ

数学オリンピック事典を一日一問以上解くスレ
https://rio2016.5ch.net/test/read.cgi/math/1522288378/190

**ご冗談でしょう？名無しさん** · 2018/06/26(火) 20:55:38.22

ζ。複素関数。解析接続。関数等式。特殊値の表示。零点の分布。素数の分布。素数定理。p進関数。局所。大域。フェルマー予想。アデール。イデール。積分表示。ガンマ関数。
オイラーの積分表示。オイラー積。自然数全体の和=素数全体についての積。素数の逆数和。無限大に発散する。完備化されたζ。素数全体⇔零点と極全体。双対。オイラー定数。
リーマンの明示公式。メビウスの関数。リーマン予想。ζの虚の零点の実部は全て1/2。素数定理。完備リーマンζ。関数等式。ガンマ関数。変数変換。ヤコビ。保型形式。
ポワソン和公式。双対性。ディリクレL関数。原始指標。フーリエ変換。偶指標。奇指標。非自明零点。本質的零点。フーリエ変換。メリン逆変換。π(x)とLi(x)。単項イデアル整域。
一意分解整域。既約多項式。極大イデアル。デデキントζ。ディリクレL関数。ガンマ関数の2倍角の公式。代数体の類数公式。ヘッケ指標。ヘッケL関数。コンパクト位相群。
ユニタリー表現。

**ご冗談でしょう？名無しさん** · 2018/06/26(火) 21:14:42.53

これで「頭の良さ」を誇示してるつもりなんでしょう

**ご冗談でしょう？名無しさん** · 2018/06/26(火) 21:20:21.62

類体論。アーベル拡大。乗法群。ガロア群。斜体。体。4元数体。4元数環。ブラウワー群。中心単純環。ハッセの相互法則。巡回線型環。完備離散付値体。フロベニウス置換。
ディリクレの単数定理。ガロア理論。無限次ガロア理論。ガロア拡大。ガロア群。正規拡大。分離拡大。ノルム。トレース。有限体。位相群。全単射。正規閉部分群。逆極限。逆極限位相。
保型形式。五角数定理。重さ。ラマヌジャン予想。モーデル作用素。クロネッカーの極限公式。正則保型形式。正則カスプ形式。ヘッケ作用素。ヘッケ環。ピーターソン内積。
波動形式。ラプラス作用素。ジーゲル保型形式。ジーゲルモジュラー群。ジーゲル上半空間。レムニスケート周率。ラマヌジャン予想。デデキントζ関数。

**ご冗談でしょう？名無しさん** · 2018/06/27(水) 19:22:52.36

岩澤理論。ζ関数。L関数。岩澤主予想。解析的=代数的。p進的性質。円分体。非正則素数。正則素数。代数体と関数体。ガロア群。円分指標。クンマーの合同式。岩澤関数。群環。
岩澤の公式。円単数群。
保型形式。ポアソン和。ζ積分。セルバーグ跡公式。核関数。積分作用素。セルバーグζ。ラングランズ予想。
楕円曲線。還元。

有限。無限。積分。コーシー・シュワルツ。変数。初等的。有限。正値。同次。零点集合。全零点集合。正規化。比較可能関数。ヘルダー。極限を取る段階に限って。

基本的平均。通常の平均。算術平均。幾何平均。調和平均。r乗平均。ウエイト付き平均。通約可能。極限。コーシー。ヘルダー。ミンコフスキー。チェビシェフ。ムーアヘッド。
対称的平均。基本対称関数。定値形式。フルヴィッツムーアヘッド。ベルヌーイ。

関数の平均。凸関数の理論。比較可能性。ヘルダー。単調関数。ミンコフスキー。性質。

**ご冗談でしょう？名無しさん** · 2018/06/27(水) 20:11:05.75

なんで物理板でやってるの。

**ご冗談でしょう？名無しさん** · 2018/06/27(水) 21:36:03.79

順列と組合せ。組合せは選ぶ事。順列は並べる事。異なるもの。積法則。和法則。順列。階乗。帰納法。ガンマ関数。円順列。重複順列。重複組合せ。スターリングの公式。
母関数。多項式。和法則。積法則。係数。母関数。指標関数。組合せの母関数。重複組合せの母関数。順列の母関数。指数型母関数。指数型計数子。第2種のスターリング数。
整数の分割。フェラーズのグラフ。分割の母関数。ラプラス変換。通常母関数。オイラーの定理。第1定理。第2定理。ダーフィーの正方形。
漸化式。フィボナッチ数。ハノイの塔の問題。母関数による解法。非線型差分方程式。パターン。2変数の漸化式。母関数。ラプラス変換。通常母関数。ベルヌーイ数。凸n角形。連。
包除原理。帰納法。公式。乱列。和分演算子。ルック多項式。展開公式。禁制位置の盤。ヒット多項式。オイラーの関数。パーマネント。帰納法。メナージュ多項式。
数え上げに関するポリアの定理。集合。部分集合。合併集合。真部分集合。空集合。分割。互いに素。デカルト積。共通部分。差。環和。二項関係。同値関係。反射律。対称律。推移律。同値類。関数。定義域。値。1対1関数。上への関数。写像する。
二項演算。閉じている。単位元。群。逆元。置換群。同値類。バーンサイドの定理。不変元。バーンサイド。円状順列。写像。置換。回転。準同型条件。バーンサイドの定理。
同値類。結構複雑。パターン。
重み。計数子。在庫式。パターン。同値類の重み。パターンの集合の在庫式。ポリアの基本定理。置換群。パターンの在庫式。同値類。置換。準同型条件。巡回置換。長さ。巡回置換構造式。
巡回置換指数。ポリアの基本定理。巡回置換。同値類。恒等置換。一般化。反射律。対称律。推移律。巡回置換。同値類の式。ブール関数。

**ご冗談でしょう？名無しさん** · 2018/06/27(水) 21:46:44.78

>>565
人工無能だから聞いても無駄ｗ

**ご冗談でしょう？名無しさん** · 2018/06/29(金) 20:57:40.36

なんか急にやめちゃったね

**ご冗談でしょう？名無しさん** · 2018/06/29(金) 21:09:44.71

>>560があたったんじゃね

**ご冗談でしょう？名無しさん** · 2018/06/29(金) 22:02:51.90

微分積分学の応用。平均値の定理。最大値と最小値。ﾃｲﾗｰ級数。多変数関数。級数と積分。ﾔﾝｸﾞ。
無限級数。平均。ﾍﾙﾀﾞｰ。平均。和。ﾐﾝｺﾌｽｷｰ。ﾁｪﾋﾞｼｪﾌ。収束。
積分。ﾙﾍﾞｰｸﾞ積分。ｽﾃｨﾙﾁｪｽ積分。可測関数。零集合。零関数。ﾍﾙﾀﾞｰ。ﾐﾝｺﾌｽｷｰ。積分と極限の交換。関数列。実解析学。多重積分。逐次積分。
ｼｭﾜﾙﾂ。ﾌﾞﾆｬｺﾌｽｷｰ。平均。幾何平均。ﾙﾍﾞｰｸﾞ積分。ﾍﾙﾀﾞｰ。ﾊﾞﾅｯﾊ。平均。ﾐﾝｺﾌｽｷｰ。積分平均。凸連続関数。ｽﾃｨﾙﾁｪｽ積分。分布関数。
有界。平均。擬線型。時間平均速度。距離平均速度。平面閉回路。星型。ｺｰｼｰ。ﾍﾙﾀﾞｰ。ｼｭﾃｨｴﾑｹの定理。連立線型不等式。
変分法。積分関数。常に成り立つ。単調増加関数。積分関数。ｵｲﾗｰの方程式。極値曲線。不変積分。変分法。恒等式。狭義の不等式。超過関数。ｳﾞｨﾙﾃｨﾝｶﾞｰ。ﾌｰﾘｴ級数。
ﾊﾟｰｾﾊﾞﾙの定理。極値曲線。ﾗｸﾞﾗﾝｼﾞｭの問題。ﾋﾙﾍﾞﾙﾄ積分。ﾙﾍﾞｰｸﾞ積分の平均値の定理。ｳﾞｨﾙﾃｨﾝｶﾞｰ。ﾗｸﾞﾗﾝｼﾞｭ。
双線型形式。多重線型形式。正値。絶対収束。ｳｪｲﾄ。ﾔﾝｸﾞ。一般化。ﾌｰﾘｴ級数。ﾊﾟｰｾﾊﾞﾙの定理。ﾘｰｽ・ﾌｨｯｼｬｰの定理。ﾊｳｽﾄﾞﾙﾌ。ﾔﾝｸﾞ。ﾌｰﾘｴ係数。
導かれる。ﾍﾙﾀﾞｰ。三角多項式。凸性。ﾍﾙﾀﾞｰ。凸関数。有界双線型形式。空間。ヒルベルト空間。2次形式。有界。絶対有界。十分条件。ノルムが存在する。ヒルベルト形式。リースの定理。複素数。
ユニタリー変換。フーリエ級数。強収束。ハウスドルフの定理。正弦。余弦。

**ご冗談でしょう？名無しさん** · 2018/06/29(金) 22:18:07.93

ヒルベルト。二重級数定理。双線型形式。積分方程式。ワイル。シューア。最良の定数。ヒルベルトの定理。モーメント。ヘルダー。逆不等式。ハーディ。積分不等式。
リーマン・リウヴィル積分。フーリエ級数。ヘルダーの逆不等式。積分から級数へ。カーレマン。ミンコフスキー。ラプラス変換。ヘルダーの逆不等式。ラプラス変換。狭義増加関数。
再配列。置換関数。再配列。帰納法。対称的減少集合。帰納法。導関数。対称的な減少関数。積分。優越関数。フェイェールの核。正値増加関数。有限和。シュワルツ。逆関数。
ヒルベルト・アルティンの定理。ソリン。連続。
アダマール。3周定理。正則。円環。非負。平行移動。ヒルベルトの不等式。

**ご冗談でしょう？名無しさん** · 2018/06/29(金) 22:44:52.82

グラフの理論。二項関係。グラフ。順序対。頂点。接続。ループ。隣接。辺。外向き。わ内向き。同型。補グラフ。部分グラフ。有限。多重度。有向多重グラフ。無向多重グラフ。
単純。閉路。初等的。長さ。有向閉路。グラフ。非連結。
連結。オイラー路。オイラー閉路。ケーニヒスベルク。プレーゲル河。次数。内向。外向。有向。無向。ハミルトン路。ハミルトン閉路。セイルズマン。クラウスの定理。
木出来る閉路・カットセット。完全木。有向グラフ。木。完全木。帰納法。閉路の基本系。基本閉路。カットセット。カットセットの基本系。基本カットセット。アーベル群。
可換。零元。ベクトル空間。基底。線型結合。次元。辺を共有しない閉路の合併集合。辺を共有しないカットセットの合併集合。閉路部分空間。カットセット部分空間。
基底。行列。カットセット行列。閉路行列。接続行列。双対性。単位元。逆元。スカラー。
平面グラフ。双対グラフ。平面グラフ。ファーリ。オイラーの公式。領域。星状グラフ。設備グラフ。線型グラフ。線型平面グラフ。クラトフスキーの定理。次数が2の頂点を除いて同型。クラトフスキーグラフ。
平面グラフ。内部片。外部片。閉路。設備グラフ。同型。部分グラフ。無向完全グラフ。双対グラフ。多重グラフ。カットセット部分空間。双対グラフ。閉路部分空間。
基底。隣接領域。1端子対グラフ。端子。平面1端子対グラフ。双対グラフ。閉じた接点の作る道。開いた接点の作るカットセット。平面性。双対性。グラフ理論。クラトフスキー。
ホイットニー。マトロイド。同型。平面性。直並列グラフ。

**ご冗談でしょう？名無しさん** · 2018/06/30(土) 16:17:24.19

支配集合。独立集合。彩色数。支配集合。極小支配集合。無向グラフ。論理積。論理和。独立集合。極大独立集合。独立数。支配集合。容量。色付けする。正しく色付けする。
彩色数。正しい色付け。幸い多項式。4色問題。三角形領域。三角形変換。外部安定集合。内部安定集合。
輸送回路網。輸送回路網。入り口。出口。容量。流れφの値。切断の容量。最大流最小切断定理。出ている辺の終点。入っている辺の始点。カットセット。
実行可能な流れ。初期実行可能な流れ。
マッチングの理論。割当問題。禁制位置。2部グラフ。完全マッチング。二重確率行列。最大マッチング。不足度。ケーニグエゲルヴァーリの定理。無向グラフ。接続。ハンガリー法。
線型計画法。目的関数。線型制約条件。非負条件。最適実行可能解。実行可能解。線型制約条件。非負条件。実行可能領域。凸多角形。超平面。凸多面体。スラック変数。
制約条件を不等式から方程式に変える。線型関数。基底実行可能解。退化した基底実行可能解。基底変数。非基底変数。単体法。単体表。スラック変数。基底変数。
目的関数。双対性。最大化問題。双対問題。実行可能解。双対単体法。
動的計画法。多段過程。状態変数。決定する。目的関数。最適性の原理。関数方程式。制約条件。非負部分。
ブロック計画。完備ブロック計画。乱塊法。乱数発生ルーティーン。ラテン方陣。無作為完備ブロック計画。直交ラテン方陣。直交している。36人の士官の問題。釣り合い不完備ブロック計画。
ブロック。符号語。距離。対称釣り合い不完備ブロック計画。アダマール行列。正規化。生起行列。クロネッカー積。対称釣り合い不完備ブロック計画。因数分解。組合せ数学。実験計画法。誤り訂正符号の構成。グラフ理論。
統計的解析法。シュタイナー3元系。v次。

**ご冗談でしょう？名無しさん** · 2018/07/02(月) 18:11:10.70

集合と写像。要素。元。属する。含まれる。空集合。Ø。n -集合。部分集合。含まれる。含む。包含関係。等しい。真部分集合。全体集合。積。互いに素。直積。補集合。差。対称差。ドモルガンの法則。冪集合。集合族。
二項関係。反射律。対称律。推移律。同値。同値類。順序関係。半順序関係。順序集合。半順序集合。写像。像。定義域。値域。逆像。一対一写像。単射。上への写像。全射。上への一対一写像。全単射。恒等写像。
組合せ論。全単射。帰納法。鳩の巣原理。エルデスセケレシの定理。篩い分け公式。オイラーの定理。偶奇性検査。シュペルナーの補題。
順列と組合せ。階乗。同種のものを含む。重複組合せ。パスカルの三角形。二項定理。二項係数。
グラフ。証言図。一般グラフ。辺集合。点集合。接続写像。点。辺。グラフ。位数。サイズ。ループ。多重辺。単純グラフ。端点。辺。接続する。隣接する。完全グラフ。次数。正則グラフ。
部分グラフ。全域部分グラフ。歩道。始点。終点。長さ。小道。道。閉路。連結グラフ。成分数。非連結。2部グラフ。上組。下組。完全2部グラフ。握手の定理。連結性。木。
最適木。最適閉路問題。クルスカル。アルゴリズム。平面的。平面グラフ。非平面的。オイラーの公式。
グラフ因子。辺和。因子。因子分解。因子分解可能。ハミルトン閉路。ハミルトングラフ。ハミルトン道。連結。2-因子。1-因子分解定理。2-因子分解定理。オイラー回路。オイラーグラフ。
漸化式。境界値条件。

**ご冗談でしょう？名無しさん** · 2018/07/02(月) 18:53:26.80

組合せ論。配置。最適化。
濃度。写像。双対性。全射。単射。全単射。値域。最小上界。最大下界。束。単射の数。階乗。第1種のスターリング数。二項定理。二項係数。パスカルの三角形。同値関係。
同値類。第2種のスターリング数。ベル指数。分割数。共役な分割。フェラーズの図形。ヤングの台。母関数。像。盤。正規。鉤数盤。ヤング列。ヤング束。鎖。
反転公式とその応用り正規族。微分作用素。テイラーの公式。バンデルモンドの公式。二項定理。第1反転定理。二項係数。反転公式。スターリングの反転公式。ラーの反転公式。
メビウス関数。局所有限順序集合。算術関数群。クロネッカー関数。
単位元。中立元。左逆元。半群。リーマン関数。メビウスの反転定理。素数分布。同等である。基本周期。区切り無し辞書。測度。篩い分け公式。メビウスの反転定理。
エラトステネスの篩。シルベスターの公式。集まり。図式。配置の問題。弧。頂点。強連結成分。閉路。辺。有向グラフ。無向グラフ。グラフ。鎖。輪。連結成分。
部分グラフ。制限グラフ。連結。次数。末端頂点。完全グラフ。クロネッカー関数。
置換群。置換。全単射。施す。結合律。単位元の存在。逆元の存在。n乗。置換群。部分群。正規部分群。商集合。準同型。巡回置換。共役。共役類。コーシーの公式。軌道。
バーンサイド。不動点の個数。偶奇性。反転。符号。偶置換。奇置換。互換。交代群。ガロアの定理。置換多面体。
類別。
ポリアの方法。置換群。図式の数え上げ。色の集合。彩色。図式。輪指標。ポリアの定理。保存する。同じ図式に属する。完全な。閉じている。循環置換。同値。特性類。
n次の結び糸。重み。区別のない頂点を持つグラフ。交代群。単位群。巡回置換。オイラー関数。二面体群。位数。
対称式の計算。交代式。単調減少部分列。核。カーネル。作用。作用する。置換。全単射。士官36人の問題。直交二重ラテン方陣。オイラー方陣。上界。下界。最小上界。最大下界。剰余類。生成する。体。
環。可換体。可換環。実数体。複素数体。多角数。汎関数。線型汎関数。単位元。中立元。左逆元。右逆元。逆元。実ベクトル。実ベクトル空間。合同。連続。隣接。和。補グラフ。ループ。輪。サイクル。独立でない。従属。ド・ブランの定理。

**ご冗談でしょう？名無しさん** · 2018/07/02(月) 21:16:33.45

三角形の辺の長さ。二次式。平方完成。判別式。シュワルツ。ヘロンの公式。相加相乗平均。外接円と内接円。外接球と内接球。微分法。場合分け。
ヘルダー。シュール。シャピロ。巡回不等式。成り立つ場合と成り立たない場合とがある。ベクトルのノルム。ボーア。複素数。球面距離。微分法。
単調性とか。場合分け。シェルピンスキー。スターリングの公式。平均値の定理。密度。コクセター。偶関数。
相加相乗平均。微分法。帰納法。動的計画法。最適方程式。優級数。フルヴィッツ。対称式。シェルピンスキー。帰納法。1個は任意他は全て1の時。イェンセン。r乗平均。
カイ。ファン。イェンセン。絶対値。標準偏差。凸関数。2進法。ステフェンセン。劣微分。劣勾配。
正値。非負。2次形式。半正値。線型代数学。
作り方。証明の仕方。並べ替え。ミンコフスキー。
凸関数。優数列。シューア。
積分。部分積分法。ウィルティンガー。フランダース。

相加平均。相乗平均。算術平均。幾何平均。対数。凸関数。関数方程式。動的計画法。帰納法。ロルの定理。基本対称式。
凸関数。凹関数。区間。近傍。外点。連続性。微分可能性。相加平均。相乗平均。拡張。準線型化。包絡線。
累乗平均。1は算術平均。0は幾何平均。- 1は調和平均。加重累乗平均。平均。
コーシー。ヘルダー。ラグランジュ。恒等式。内積。
累乗和。
ヘルダー。ヤング。チェビシェフ。同順。逆順。乱順。
ミンコフスキー。ヘルダーからミンコフスキー。準線型化。拡張。
積分。平均の定義。
対称式。

**ご冗談でしょう？名無しさん** · 2018/07/03(火) 02:17:06.82

数え上げ組合せ論。整数論。グラフ。マトロイド。コード。ブロックデザイン。有限集合族。場合分けの木。樹形図。場合の数。和と積の法則。順列。組合せ。集合の分割とスターリング数。数の分割とヤング図形。包含と排除。篩い分け。の原理。二項定理。母関数。
ハッセ図。ガロア対応。基数。濃度。可算集合。可付番集合。連続体の濃度。対角線論法。鳩の巣原理。ガロア理論。N P完全問題。巡回セールスマン問題。数え上げ関数。
個数関数。包含と排除の原理。包除原理。和積原理。篩い分けの公式。一般の加法定理。すれ違い順列。撹乱順列。素数定理。くみ論的証明。全単射的証明。
場合分けの木。樹形図。根。葉。ノード。場合分けの森。和の法則。積の法則。多重集合。下降階乗。階乗。置換。重複順列。数珠順列。
ネックレス順列。二項定理。二項係数。母関数。重複組合せ。重複選択。多重集合。基数。上昇階乗。一般順列。多項係数。パスカルの三角形。格子路の個数。カタラン数。
平衡括弧式。重複特性。重複特性式。通常母関数。組合せ論的相互法則。重複特性。指数型重複特性式。指数型母関数。ベン図。シルベスターの公式。すれ違い順列。撹乱列。
出会う順列。オイラー関数。集合の分割。同値類。指数。クラス。ブロック。第2種スターリング数。ベル数。集合の順序付き分割。第1種スターリング数。符号なし。長さ。輪。サイクル。源氏香。遊び。数の分割。
和因子。部分。成分。フェラーズ図形。分割グラフ。
第2種スターリング数は閉じた式。数の分割数。組成。写像12相。同等である。置換群。母関数。累積和。畳み込み。差分。一階。前進。差分演算子。後退差分。後退差分演算子。
ずらし演算子。通常母関数。形式導関数。形式積分。二項係数の反転公式。メビウス関数。導関数。形式微分。
漸化式の母関数を利用した解法。

**ご冗談でしょう？名無しさん** · 2018/07/03(火) 02:48:45.50

置換群による同値類の数え上げ。コーシーフロベニウスの定理。置換群。群の概念。コーシーフロベニウスの定理。バーンサイドの補題。輪指標。置換群。巡回置換指数。
ポリア理論。指数公式。畳み込み公式。圏。カテゴリー。置換。置換。単射。全射。写像。全単射。半群。群。単位元。逆元。可換群。アーベル群。乗法群。部分群。置換群。対称群。積。
輪。サイクル。サイクル表現。グラフ。サイクル。輪表現。サイクル表現。巡回置換。巡回置換表現。軌道。コーシーフロベニウスの定理。準同型条件。写像12相。コーシーフロベニウスの定理。
直積群。パターン。図式。直積群。一般円順列。巡回群。置換群。ポリアの方法。輪指標。巡回置換指数。母関数。スターリング数。コーシーフロベニウスの定理。符号なしスターリング数。
すれ違い順列数。母関数。重み。表示式。ポリアレッドフィールドの定理。カテゴリー論的形式級数。圏論的。数え上げ論。
論理。命題。命題関数。領域。全称記号。存在記号。特称記号。真理値表。集合。要素。内包的定義。外延的定義。一意。部分集合。等しい。真部分集合。冪集合。
空集合。Ø。和。合併集合。積。共通部分。普遍集合。差。補集合。ベン図。直積。関係。二項関係。有向グラフ。反射的。対称的。推移的。同値関係。順序関係。関数。定義域。
値域。関数。写像。像。逆像。1対1。単射。上への関数。全射。全単射。1対1で上への関数。逆関数。恒等写像。
合成関数。グラフ。頂点。無向グラフ。辺。有向グラフ。
弧。歩道。道。回路。閉路。木。葉。根付き木。植木。
平面植木。完全二分平面植木。輪。サイクル。サイクル表現。深さ優先の探索法。スタック。

**ご冗談でしょう？名無しさん** · 2018/07/03(火) 02:49:28.46

コーシーフロベニウスの定理
コーシーフロベニウスの定理
コーシーフロベニウスの定理

**ご冗談でしょう？名無しさん** · 2018/07/03(火) 23:07:06.65

あーあ。日本が負けてしまいましたね。