Nghĩa của từ 同型 bằng Tiếng Việt
Kana: どうけい
- sự đồng hình, sự đẳng cấu; phép đẳng cấu
Đặt câu có từ "同型"
1. これ以外の自己同型を外部自己同型(英語版)(outer automorphism)と呼ぶ。
2. クラインの四元群に対して 3 つの単位元でない元の置換はすべて自己同型写像であるので、自己同型群は S3 と Dih3 に同型である。
3. A のすべての元をその同値類に写す関数は準同型であり、この準同型の核は ~ である。
4. 非アーベル群は非自明な内部自己同型群を持ち、ひょっとすると外部自己同型も持つかもしれない。
5. つまり、次の自然同型が存在する。
6. 群準同型は元の位数を減らす傾向にある: f: G → H が準同型で a がG の位数有限の元であれば、ord(f(a)) は ord(a) を割り切る。
7. ノルウェーのフィヨルドで私が乗り組んだのと同型の艦船
8. n = 1, 2 のとき自己同型群は自明群である。
9. X の自己同型群は、X の対称群とも呼ばれる。
10. f : R → S が全射環準同型であれば、f(J(R)) ⊆ J(S) である。
11. 24話より同型機ジャイロアーク2号機、50話で3号機が登場する。
12. 座席も革張りではないが885系と同型のものとなっている。
13. X がヒルベルト空間ならば商空間 X/M は M の直交補空間に同型である。
14. 有理数 Q と実数 R の場合には、非自明な体自己同型は存在しない。
15. フォボス1号はフォボス計画で製造された2機の同型の探査機の1つである。
16. まず、ノイラートは、言語と実在の同型性を無益な形而上的空想として退けた。
17. 同型艦という設定であっても、艦ごと兵装など異なるものもある。
18. )単連結群は中心 R と非零な実数の群の外部自己同型を持っている。
19. また、ボーイング737-500は旧・エアーニッポンの同型機と同様に、エンジンカウルにイルカのイラスト(愛称「スーパードルフィン」)が描かれている。
20. この群はもとの空間(の加法群)と同型であり、ユークリッド群 E(n) の正規部分群である。
21. ベクトル空間が有限次元のとき、V の自己同型群は一般線型群 GL(V) と同じになる。
22. 長生(ちょうせい)は囲碁用語の一つで、死活がらみで同型反復になる特殊な形。
23. 同型機が4機存在し、分離(初期は腕部、胴体、脚部)したダイ・ガードをアセンブリ・トレーラーごと輸送できる。
24. 例えば、頂点数70となる(3,10)-ケージはバラバン10-ケージ、Harries graphとHarries-Wong graphの同型でない三つが存在する。
25. 使用している杖は『ウルトラマンレオ』の主人公に過酷な試練を課すモロボシ・ダンが使用している物と同型である。
26. 従って、G が自明な中心を持つならば、G を G 自身の自己同型群に埋め込むことができる。
27. 従ってさらに、これらの基本群は自明であり、Z と同型な零次を除いて、全てのホモロジー群が自明である。
28. この通達は、同型のNAV計器を搭載しているDC-8、DC-9、C-9、MD-80を保有する全ての航空会社に送られた。
29. この同型は、有限次元ベクトル空間(特別な場合として実または複素ベクトル空間)の二重双対と比べることができる。
30. 例えば、すべての R-S 両側加群の圏はアーベル圏であり、標準的な準同型定理は両側加群に対しても成り立つ。
31. このとき、各函数 g の属する同値類は 0 における値 g(0) によって決定され、商空間 C / M は R に同型となる。
32. 3週間後の1964年11月28日に同型のマリナー4号の打ち上げが成功し、火星へ向かう8ヶ月間の飛行に旅立った。
33. 2007年2月には筑紫口の自動改札機が新型機に更新された(JR九州のものと色違いの同型機になっている)。
34. しかしながら、すべての元が逆元に等しい群、例えばクラインの四元群において、これは自明な自己同型写像である。
35. その後、第四次海軍軍備充実計画で新たに同型艦2隻を建造することになり、「第一一〇号艦」「第一一一号艦」と仮称された。
36. 2009年1月6日の日曜日、イスラエル軍は、ガザ地区の民兵からイランやアフガニスタンでの戦闘で用いられたのと同型のS-5Kロケット弾が発射されたと確認した。
37. ワシントン海軍軍縮条約下、レキシントンおよび同型艦のサラトガ (USS Saratoga, CV-3) の両艦は基準排水量33,000トンと公表されたが、満載排水量は40,000トン以上あったという。
38. ジェーン海軍年鑑は、類別変更以前の装甲巡洋艦の分類を用いたが、ワシントン海軍軍縮条約において同型艦の「生駒」は、規制対象の戦艦として扱われた。
39. より一般に、a についてのすべてのステートメントは b = g−1ag についてのステートメントに翻訳できる、なぜならば写像 φ(x) = g−1xg は G の内部自己同型だからである。
40. カリー=ハワード同型対応が、自然演繹と計算機科学で用いられる型付きラムダ計算論理との一致を含む、論理と計算との深い類似として起こった。
41. (例えば、非自明な準同型 h: S3 → Z5 は存在しえない、なぜならば Z5 の 0 以外のすべての数は位数 5 であり、これは S3 の元の位数 1, 2, 3 を割り切らない。
42. このことから日本は戦艦『ペレスヴェート』とその同型艦に対抗させるために駐英公使を通じて購入交渉を始めたが、ロシアの妨害が激しくまとまらなかった。
43. 今回のホームドアは現地試験の期間が終了したことにより当駅から既に撤去されているが、同型のホームドアはJR東日本の拝島駅に2015年3月より試験導入された。
44. G が可逆 3 × 3 実行列全体の乗法群で、N がその行列式 1 の部分群であるとき、N は G において正規である(なぜなら行列式を取る準同型の核なので)。
45. またロンドン海軍軍縮会議での既存艦の削減を受けて、同型艦の比叡は一時的に練習戦艦となったが、日本とイタリアは第二次ロンドン海軍軍縮会議で脱退を表明。
46. R が非自明な体自己同型を持つとすると、R の全体への拡大ができない(なぜならば、R は平方根を持つ数の性質を保たなくなるからであるからである)。
47. しかし、同時期に栃木の模型メーカー・日本模型(略称ニチモ)が同型艦武蔵の1/750スケールキットを350円で発売したため、タミヤも赤字覚悟で同価格に設定したが、売上は届かず惨敗となった。
48. 商群 R/Z は円周群 S1 に同型であり、これは絶対値 1 の複素数が乗法についてなす群、あるいはそれに対応して、2次元で原点についての回転のなす群、すなわち特殊直交群 SO(2) である。
49. 1939年12月の開発要請に対し、1940年1月末には試作車完成、2月には増加試作型2両が完成し(その後同型の増加試作型はもう1両完成した)、直ちにフィンランド戦線に送られるという突貫作業であった。
50. なお、本来の意味での1941年度艦(追加分は含まず)であるガトー (USS Gato, SS-212) 以下6隻は前述のように、当初はタンバー級として扱われていたが、同型艦がほぼ出揃った1943年以降は、「ガトー級」として正式に単独の形式として扱われるようになった。