- 面白い問題おしえて〜な 33問目
581 ：１３２人目の素数さん[sage]：2020/11/22(日) 13:38:11.53 ID:dR0FbWeM - >>580
確かに紙を切るという設定だとそういう可能性は出てくる
>>573で考えてたときはその設定はなしで考えてたからなぁ
紙を切る設定なら573も解なしか
|
- 面白い問題おしえて〜な 33問目
582 ：１３２人目の素数さん[sage]：2020/11/22(日) 13:53:40.09 ID:dR0FbWeM - 動ける範囲が定められてるときの変分問題の一般論ってあるんかな
常に境界線上の線分と自由な場合の変分解を区分的につなげた形になるとも思えないし
|
- 大学学部レベル質問スレ 14単位目
735 ：１３２人目の素数さん[sage]：2020/11/22(日) 20:30:05.64 ID:dR0FbWeM - 類別というのが
関係g〜hをg^(-1)h∈Sで定義したとき同値関係になるということなら
確かにSが部分群であることが必要十分だな
|
- 大学学部レベル質問スレ 14単位目
738 ：１３２人目の素数さん[sage]：2020/11/22(日) 22:23:34.57 ID:dR0FbWeM - G=∪giS(g0=e)でgiS∩gjS≠ΦならgiS=gjS
ということかな
それでも同じで
eがあるgiSに含まれるけど、そこが部分群になってることが示せて、結局これはその部分群による左類別になってる
|
- 大学学部レベル質問スレ 14単位目
742 ：１３２人目の素数さん[sage]：2020/11/22(日) 23:50:01.98 ID:dR0FbWeM - >>739
自分も今回聞かれて気づいたけど
G作用をちゃんと考えておかないと
ただG=S ∪ gS ∪ g'S ∪…(disjoint)
とするだけなら色々作れるね
例えばZ/4Z={0,3} ∪ 2{0,3}
もっというとGの部分群Hの右剰余系G=∪Hgi (g0=e) から代表higi∈Hgiを選んできて
S=∪{higi}とおけば類別G=∪hS(h∈Hを動く)
が作れる
|