定義と表記とは? わかりやすく解説

定義と表記

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/07/09 18:36 UTC 版)

安永浩」の記事における「定義と表記」の解説

イギリス哲学者、ウォーコップ (Oswald Stewart Wauchope、1897 - 1956) による『パターン概念基礎とする。 体験世界記述する際に用いカテゴリーの対(つい)、例えば自/他、生/死、全体部分、質/量、時間空間などについては、 ある一方の項だけでは対が成り立たず両方の項があってこそ成り立つ、という相対的な不可欠性 ある項Aは公理的自明のものであって、ほかに根拠求めることはできない。Aから議論出発するならば、もう一方の項BはAではないものとして理解しうる。しかしA、Bの順序逆にすることはできない。という、論理的な非対称性 といった特徴がある。こうしたカテゴリー対を『パターン』とし、優位性があるほうの項をA、他方をBとして A/B のように表記する。なお「パターン」という単語日常的に使われるので、この定義により用いる際は二重カギ括弧括って“『パターン』”と表記する。 自/他を例にする。他とは、ごく単純には「自でないもの」と言える(定義としては不十分かもしれないが、少なくとも意味は通じる)。一方、自を定義するのは容易でない。にもかかわらずわれわれは、文字どおり自明こととし体験的に自を理解している。これを、自・他入れ替えて語ることはできない。「他ではないもの」という表現は、自の定義にはならずそもそも不可知的である(以上を、『パターン』には該当しないカテゴリー対、例え右・左男・女比べてみよ。)

※この「定義と表記」の解説は、「安永浩」の解説の一部です。
「定義と表記」を含む「安永浩」の記事については、「安永浩」の概要を参照ください。


定義と表記

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/12/07 07:15 UTC 版)

群同型」の記事における「定義と表記」の解説

2つの群 (G, ∗) と (H, ⊙ {\displaystyle \odot } ) が与えられたとき、(G, ∗) から (H, ⊙ {\displaystyle \odot } ) への群同型写像 (group isomorphism) はG から H への全単射群準同型である。説明すると、これが意味するのは、群同型写像全単射関数 f : G → H {\displaystyle f:G\rightarrow H} であってすべての u, v ∈ G に対して f ( u ∗ v ) = f ( u ) ⊙ f ( v ) {\displaystyle f(u*v)=f(u)\odot f(v)} が成り立つということである。 2つの群 (G, ∗) と (H, ⊙ {\displaystyle \odot } ) が同型 (isomorphic) であるとは、一方から他方への同型写像存在するということである。これは ( G , ∗ ) ≅ ( H , ⊙ ) {\displaystyle (G,*)\cong (H,\odot )} と書かれる。 しばしば短く簡潔な表記用いることができる。適切な群演算があいまいでないときそれらは省略され G ≅ H {\displaystyle G\cong H} と書く。 さらにシンプルに G = H と書くことさえある。そのような表記混乱曖昧さなく可能であるかどうか文脈依る例えば、等号は群が両方同じ群の部分群であるときには全く適切でない。例も参照逆に、群 (G, ∗)、集合 H、全単射 f : G → H {\displaystyle f:G\rightarrow H} が与えられると、 f ( u ) ⊙ f ( v ) = f ( u ∗ v ) {\displaystyle f(u)\odot f(v)=f(u*v)} と定義することによって H を群 (H, ⊙ {\displaystyle \odot } ) にできる。 H = G かつ ⊙ {\displaystyle \odot } = ∗ であれば全単射同型である (q.v.)。 直感的には、群論家は 2 つ同型な群を次のように見る: 群 G のすべての元 g に対して、H のある元 h が存在して、h は g と'同じよう振る舞う'(g と同じように群の他の元と演算する)。例えば、g が G を生成すれば、h も H を生成する。これは特に G と H が全単射対応にあることを意味する。したがって同型写像の定義は極めて自然である。 群の同型写像群の圏における可逆射としても同等に定義できる。ただしここで可逆両側逆元を持つことを意味する

※この「定義と表記」の解説は、「群同型」の解説の一部です。
「定義と表記」を含む「群同型」の記事については、「群同型」の概要を参照ください。

ウィキペディア小見出し辞書の「定義と表記」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「定義と表記」の関連用語

1
6% |||||

2
2% |||||

定義と表記のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



定義と表記のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの安永浩 (改訂履歴)、群同型 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS