狭義大小関係
引用WIIS 定義 10反射律、11反対称律、12推移律、13完備律を備えののが大小関係。 狭義大小関係は、上に加えて同値関係が成り立たないもの。 x<y⇔x≤y∧x≠y 定理 x<y⇒¬(y<x) の証明。 感覚的には自明なんだけど一応。...
riku-nagahama.xyz
2025.03.18
アルキメデスの性質その三
暇つぶしに見て 12
暇つぶしに見て
暇つぶしに見て
暇つぶしに見て
コメント