Skip to content
Journals Garden

Proposition I.4.1 (polar の逆順序同型)

  • Proposition I.4.1 (polar の逆順序同型) #Card
    • $(R^\circ, R^{-\circ})$ は双極の間の逆順序同型。

Back

Section titled “Back”

$(R^\circ, R^{-\circ})$ は $\subset$ に関して $R$-双極と $R^-$-双極の間の逆順序同型をなす。 （反変ガロア接続 → 双極作用素は閉包作用素 → 閉集合上で逆順序同型。） 証明 → 20_Literature/royal_road_to_topology/chapter1

Lean

Section titled “Lean”

Notes/ChapterI.lean : prop_I_4_1_adjunction（随伴）, bipolar_extensive/bipolar_mono/bipolar_idem（閉包作用素）