语言
没有数据
通知
无通知
〔論〕 二つの命題 p, q で, p が真である時 q も真, p が偽である時 q も偽であるような場合, p と q は同値であるという。 また, 「 p ならば q 」という命題が真でその逆「 q ならば p 」という命題も真の場合, 命題 p, q は同値であるという。 等価。 等値。 同等。
場合によっては、その構造は表面的には無関係に見えるので、圏同値は有用である; つまりある定理を異なる数学的構造の定理に「翻訳」できることがある。 もしある圏が別の圏の双対圏と圏同値ならば、ふたつの圏は双対同値と言い、圏双対について論じることができる。 圏同値は圏の間の「可逆な」関手から成る。
の分割をなす.この分割,同値類たちの集合,を S の ∼ による商集合 (quotient set) あるいは商空間 (quotient space) と呼び,S/∼ と表記する. 集合 S が(群演算や位相のような)構造を持ち,同値関係 ∼ がこの構造と適切に両立するように定義されているとき,商集合はしばしばもとの集合
上の2つの同値関係 ~, ≈ が a ~ b ならば a ≈ b を任意の a, b ∈ S に対して満たすとき、同値関係 ≈ は ~ より粗い (coarser) または弱いといい、~ は ≈ より細かい (finer) または強いという。 同値類の言葉で言えば ~ が ≈ より細かい(強い)とは、~
M 上の2つのリーマン計量が共形同値とは、M 上の正値関数を掛けることで一方から他方の計量が得られる場合をいう。共形同値は、幾何学あるいはリーマン計量上の同値関係である。 共形幾何学(英語版) 双正則同値 AdS/CFT対応 ^ Conway, John B. (1995), Functions
森田(もりた、もりだ) 森田 森田 (那須烏山市) - 栃木県那須烏山市の地名 森田 (富山市) - 富山県富山市の地名 森田 (福井市) - 福井県福井市の地名 森田町 森田町 - かつて福井県にあった町 森田町森田 - 青森県つがる市の地名 森田町 (浜松市) - 静岡県浜松市中央区の地名 森田町
(1)物の売り買いに際しての金額。 値段。 あたい。 価格。
〔動詞「能う」の連用形か〕