不変量

Multi tool use
Multi tool use









曖昧さ回避
 この項目では、数学における不変量について説明しています。物理学における不変量については「不変量 (物理学)」をご覧ください。






不変量（ふへんりょう、invariant）とは、数学的対象を特徴付ける別種の数学的対象のことである。一般に、不変量は数や多項式など、不変量同士の同型性判定がもとの対象の同型性判定より簡単であるものをとる。良い不変量とは、簡単に計算でき、かつなるべく強い同型性判別能力をもつものである。



定義


対象の含まれる圏 C 、対象間の同型射 ∼ が与えられているとする。


∀X,Y∈ob⁡(C),X↔∼Y⇒f(X)↔∼f(Y){displaystyle forall X,Yin operatorname {ob} (C),quad X{stackrel {sim }{leftrightarrow }}YRightarrow f(X){stackrel {sim }{leftrightarrow }}f(Y)}

を満たすような関手 f: C → D（による像）を、D に値をとる C の不変量という。定義より、相異なる不変量をもつ二つの対象は互いに異なるが、さらに、


∀X,Y∈ob⁡(C),X↔∼Y⟺f(X)↔∼f(Y){displaystyle forall X,Yin operatorname {ob} (C),quad X{stackrel {sim }{leftrightarrow }}Yiff f(X){stackrel {sim }{leftrightarrow }}f(Y)}

が言えるとき、この不変量は完全であるという。



さまざまな不変量




  • ホモロジー群は、複体のホモトピー同型性に関しての不変量である。


  • オイラー標数はホモロジー群の群同型性に関しての不変量であり、したがって複体のホモトピー同型性に関しての不変量である。


  • 結び目不変量は、結び目の同型性に関しての不変量である。


  • グラフの頂点数は、グラフの同型性に関しての不変量である。

  • 図形の面積(測度)は合同性に関しての不変量である。


  • 写像度は写像のホモトピック性に関しての不変量である。


  • 群、環、体の濃度は同型性に関しての不変量である。



関連項目



  • 位相幾何学

  • ホモロジー

  • 結び目理論




wBgL 7,3ccEfsQ
-
XUQq4rJ1C yB NDi8xUbMRY0KECn3ml4vW25h301cUrIm 4RBKGHQgTU

Popular posts from this blog

CARDNET

Image
CARDNET は日本カードネットワークが運営するクレジット決済ネットワーク。日本カードネットワークの略称としてもCARDNETが使用されている。 事件・事故 2017年4月15日午前11時8分からクレジットカードの決済がしづらくなる障害が発生した。障害は同日午後5時18分に復旧した。原因は、複数あるCARDNETセンターの拠点のうち1つで、2重化してあるL3スイッチの片方が故障し、1系統にトラフィックが集中したことによる輻輳が発生したため。対処としては、故障したL3スイッチ交換とシステム再起動が行われた [1] 。 出典 ^ 金子寛人 ( 2017年4月17日 ). “CARDNETのクレジット決済に6時間強障害、原因はL3スイッチ故障”. 日経コンピュータ. 2018年10月18日 閲覧。 この項目は、コンピュータに関連した 書きかけの項目 です。この項目を加筆・訂正などしてくださる協力者を求めています（PJ:コンピュータ/P:コンピュータ）。 この項目は、経済に関連した 書きかけの項目 です。この項目を加筆・訂正などしてくださる協力者を求めています（ポータル 経済学、プロジェクト 経済）。 This page is only for reference, If you need detailed information, please check here
Read more

Boot-repair Failure: Unable to locate package grub-common:i386

Image
0 I am on a system dual-booting Windows and Debian (usually using the latter), and a recent Windows update appears to have wreaked havoc on the Debian boot system. I managed to boot Windows again, but not Linux. Following online suggestions, I created a Live USB of Ubuntu, and booted from that. Then I have installed and run the boot-repair utility. The utility instructs me to type several lines including sudo chroot "/mnt/boot-sav/sda6" apt-get purge -y grub*-common grub-common:i386 To which I receive the error E: Unable to locate package grub-common:i386 I am given to understand the issue may have to do with having UEFI vs BIOS (I believe I have UEFI), but do not understand this well. In any case I have subsequently run the boot-repair BootInfo Summary utility which created the following file h...
Read more

Aws NAT - Aws IGW- Aws router

Image
4 As per this answer, router and gateway are same devices, in terms of functionality. In AWS world, we have internet gateway, NAT gateway and router Are these three not the same? amazon-web-services amazon-vpc gateway amazon-nat-gateway share edited 2 hours ago user1787812 asked 2 hours ago user1787812 user1787812 121 3 New contributor user1787812 ...
Read more