翻訳と辞書
Words near each other
・ 移転価格税制
・ 移転先
・ 移転利益課税
・ 移転収支
・ 移転所得
・ 移転登記 (不動産登記)
・ 移転罪
・ 移送
・ 移郷
・ 移配
移項
・ 移香斎
・ 移駐
・ 移高楽器
・ 秼
・ 秽
・ 秾
・ 秿
・ 稀
・ 稀ガス


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

移項 : ミニ英和和英辞書
移項[いこう]
(n,vs) transposition移項 : [いこう]
 (n,vs) transposition
移項 ( リダイレクト:等式#算術 ) : ウィキペディア日本語版
等式[とうしき]
等式(とうしき)とは、二つの対象の等価性・相等関係 (equality) を表す数式のことである。
== 導入 ==
等式は等号(とうごう、equal sign)と呼ばれる記号 "=" によって、二つの対象 ''a'', ''b'' を結合させる二項関係として
:a = b
のように記される。このとき、''a'' と ''b'' は(互いに等しい、(等しい相等であるなどという。また、''a'' にあたる対象を等式の左辺、''b'' にあたる対象を等式の右辺といい、左辺と右辺を総じて両辺、各々を各辺と呼ぶ。また、この否定を
:a \ne b
で表し、''a'' と ''b'' は等しくない、あるいは異なるという。記号 "≠" は等号否定と呼ばれる。等式の示す相等関係は二項関係として以下の条件を全て満たさねばならない:
* 反射律: 対象 ''a'' が何であっても ''a'' = ''a'' は常に成り立つ。
* 対称律: 対象 ''a'', ''b'' について ''a'' = ''b'' が成り立っているときはいつでも ''b'' = ''a'' も同時に成り立つ。
* 推移律: 対象 ''a'', ''b'', ''c'' に対して ''a'' = ''b'' と ''b'' = ''c'' が同時に成り立っているときには常に ''a'' = ''c'' も同時に成り立つ。
* 代入原理: 対象 ''a'', ''b'' が ''a'' = ''b'' であるときには、一つの自由変数 ''x'' を含むどんな式(あるいは命題関数) ''P''(''x'') についても ''P''(''a'') = ''P''(''b'') が(両辺ともに一意的な意味を持つ限りにおいて)常に成り立つ。
これは、「相等性とは代入原理を満足する同値関係のことである」といっても同じことであり、また等式が数学において最も基本的な同値関係を与えるものであると見ることができる。
ここで、見かけ上異なるものが等しいものを表したり、表記の都合などから見かけ上同じに見えるものが別の対象を指し示したりすることがあるため、何かが等しいというためには各辺にどのような対象をとるか、対象が何者であるかということを明確にしなければならないということを意識する必要がある。場合によっては相等といわず、同値同型合同などと呼んで、等号の代わりにそれぞれ特有の記号を用いることもある。
代入原理はもう少し一般に、対象 ''a''''i'', ''b''''j'' が、
:a_1 = b_1,\ a_2 = b_2,\ \ldots,\ a_l = b_l
であるならば、''l'' 個の自由変数 ''x''1, ''x''2, ..., ''x''''l'' を持ついかなる命題関数 ''P''(''x''1, ''x''2, ..., ''x''''l'') に対しても
:P(a_1,a_2,\ldots,a_l) = P(b_1,b_2,\ldots,b_l)
が成り立つ、という形に述べることもある。これは命題関数 ''P''(''x'') において自由変数 ''x'' が複数回現れるとき、命題 ''P''(''a'') に現れる ''a'' の一部をそれと等しいもので置き換えてもよいことを含意している。なんとなれば、全ての ''i'' について ''a''''i'' = ''a'' で、いくつかの ''j'' について ''b''''j'' = ''b'' かつそれ以外の ''j'' について ''b''''j'' = ''a'' と置いてみるとよい。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「等式」の詳細全文を読む

英語版ウィキペディアに対照対訳語「 Equality (mathematics) 」があります。




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.