No.4ベストアンサー
- 回答日時:
>> 最初の五行の命題を仮定しなければH < G <--> HH^-1 = Hは成り立たないのか、
御自分が書いていることの意味を、きちんと理解していますか。
支離滅裂な内容ですよ。
「最初の五行を補題として使わなければ、H < G <--> HH^-1 = H を証明できないのか」なら、一応意味だけは通じますけれど。
もう少し、一生懸命学問なさってください。
ただし、
>> こういうことでしょうか?(確認)
>> H < G <--> HH^-1 ⊂ H <--> HH^-1 = H
>> という論理関係でしょうか?
この部分に関しては、理解できたようですね。
御指摘の通り、それら3つの条件は互いに同値です。
ANo.2 で書いたように、H < G <--> HH^-1 ⊂ H を利用すれば、ほぼ集合論だけで H < G <--> HH^-1 = H を証明できます。
必ず、御自身で証明を完成させてください。
No.3
- 回答日時:
群 G の空集合でない部分集合 H に対して、以下の命題
H < G <--> HH^-1 ⊂ H
を真だと認めていないのであれば、あなたの質問文において、最初の5行(群Gの部分集合Hが ~ であるということがありあすが、)は、何のために書いたのでしょうか。
ふざけるのも、いい加減にしてください。
とにかく、上の命題は真です。
で、
H < G <--> HH^-1 = H
は、成り立つに決まっているでしょう。
ANo.2 で、すでに十分すぎるほどのヒントを書きました。
まだ疑問点が残っているのなら、あとは自分で考えて解決してください。
この回答への補足
最初の五行は文脈を補っただけです。最初の五行の命題は真だと認めていますが(理解していますが)、自分が言おうとしているのは、最初の五行の命題を仮定しなければH < G <--> HH^-1 = Hは成り立たないのか、という意味で「認めない(仮定しない)」と書きました。
すみませんm(__)m 書き方がおかしかったです。
質問に戻ります。
こういうことでしょうか?(確認)
H < G <--> HH^-1 ⊂ H <--> HH^-1 = H
という論理関係でしょうか?
すみません
No.2
- 回答日時:
以下のことは、すでに認めているわけですよね。
H < G <--> HH^-1 ⊂ H
それなら、ほぼ集合論だけで疑問は解決します。
HH^-1 = H ならば HH^-1 ⊂ H であるから、H < G である(集合論しか使っていない)
逆に、H < G ならば 1 ∈ H = H^-1 であるから、H の任意の元 h に対して h = h・1 ∈ HH^-1 が成り立つ(あとは、集合論で仕上げてください)
この回答への補足
> 以下のことは、すでに認めているわけですよね。
> H < G <--> HH^-1 ⊂ H
いや、認めていません。
単純にHH^(-1)=Hだけで必要十分条件だと言えるかが疑問です。
お願いします
No.1
- 回答日時:
証明のヒントはですね、HHとかHH^(-1)ってどういう意味か、と考えることです。
整数全体の集合Qと普通の足し算+との組(Q,+)は群になってます。という具体例で考えると、
(1)の条件は
(1) H⊂Q ∧ ∀x∀y((x∈H ∧ y∈H) ⇒ (x+y)∈H) ∧ ∀x(x∈H ⇒ -x∈H)
ということ。たとえばHが整数全体の集合ならこれを満たすけれど、Hが自然数全体の集合なら満たさない。
さて、(Q,+)においてH⊂Qのとき、
HH^(-1) = {0}
なのだから、(2)の条件は
(2) H⊂Q ∧ {0}⊂H
ということ。Qの部分集合Hが0を要素として含む、というだけの条件なので、(2)はHが(Q,+)の部分群であることの必要十分条件なんかではない。
で、ご質問の条件は、(Q,+)においてH⊂Qのとき
H⊂Q ∧ {0}=H
ということ。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 【 数学 数学A 】 〇 必要条件と十分条件 「 x²=0はx=0であるための 必要十分条件である」 5 2022/05/15 12:42
- その他(悩み相談・人生相談) イケメンであることは高身長であるための(?) (?)に当てはまる文を1つ選んでください ①必要十分条 4 2022/11/24 12:37
- 数学 必要十分条件 → ← の下矢印は右が左の十分条件である矢印ですか? それとも必要条件である矢印ですか 2 2023/06/28 19:54
- その他(社会・学校・職場) 数学のI Aの問題について。 十分条件と必要条件について。 p→qの場合pはqの十分条件であり qは 2 2023/01/09 19:36
- 数学 数1の命題と条件という章の 必要条件と十分条件と必要十分条件の見分け方を 教えていただけないですか 5 2022/06/25 08:49
- 数学 数1の命題と条件という章の 必要条件と十分条件と必要十分条件の見分け方を 教えていただけないですか? 4 2022/06/24 16:14
- 数学 この問題の(3)で必要十分条件にm<0 D<0とあるのですがなぜm<0が必要十分条件に入るのかわかり 7 2023/08/28 18:13
- 数学 数学(過去の質問が消えてしまったので再質問) 写真の1番の問題なのですが ①参考書の解答:0<a≦5 2 2023/05/25 17:41
- ネットワーク YAMAHA RTX1220 よりお薦めあれば教えてください 3 2022/04/24 11:33
- 照明・ライト LEDシーリングライトをリモコン操作出来ない 4 2023/03/20 13:45
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
集積点が、まったく分かりませ...
-
順列組合せについて
-
数字の上のバー
-
数学で、数字の上にある横線の意味
-
部分が全体に等しいのが無限で...
-
数学でのセミコロンについて
-
A∨Φ(空集合)=A A∧Φ(空集合...
-
このマーク?はどういう意味の...
-
15以下の自然数の集合を全体集...
-
閉包と集積点と内部
-
線形代数
-
ZFCが一番少ない公理系ではない?
-
ボレル集合体に含まれないRの部...
-
高校1年の数学Aです。 この、ピ...
-
数Aの問題で、 「AもBも含む」...
-
R\\{0} って、0を除く実数って...
-
集合Aと集合BがあってA=Bの時っ...
-
空集合のべき集合
-
保育園・幼稚園で集合写真を購...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
数学で、数字の上にある横線の意味
-
数字の上のバー
-
数学でのセミコロンについて
-
高校数学 集合Xの要素の個数を ...
-
数字は存在するのか
-
部分が全体に等しいのが無限で...
-
集積点が、まったく分かりませ...
-
ACCESSのSQL
-
要素と、部分集合の違いを教え...
-
R\\{0} って、0を除く実数って...
-
保育園・幼稚園で集合写真を購...
-
アレフ2以上の集合?
-
凸集合
-
Rの半開区間(0,1]と開区間(0,1)...
-
有理数÷有理数は絶対有理数なん...
-
⊆この記号の意味は?
-
1から100までの自然数で、3,4,5...
-
内包的記法と外延的記法について
-
A∩BとAかつBは意味が違うのでし...
おすすめ情報