22/05/01 10:07:02 txhCGf0/.net
>>563
つづき
(参考)
URLﾘﾝｸ(math.fandom.com)
整列可能定理 (Well-ordering theorem) は、すべての集合は整列可能である、すなわち整列集合となるような順序関係を定めることができる、という定理である。ツァルメロの定理 (Zermelo's theorem) としても知られ、選択公理と同値である[1]。
URLﾘﾝｸ(ja.wikipedia.org)
数学における完備性（かんびせい、英: completeness）は、様々な場面においてそれぞれの対象に関して特定の意味を以って考えられ、またそれぞれの意味において完備（かんび、英: complete）でない対象に対する完備化 (completion) と呼ばれる操作を考えることができる。complete は「完全」と訳されることもある。
・実数の完備性: 実数の完備性は実数を公理的に定義する際に必要とされる性質の一つ。この場合の完備性は、実数全体の成す集合 R を距離空間と見た場合の完備性、あるいは R を半順序集合と見た場合の完備性の何れの意味とも取ることができる。
・完備距離空間: 距離空間が完備であるとは、その空間内の任意のコーシー列が収束するときにいう。
・完備一様空間（英語版）: 一様空間が完備であるとは、その空間内の任意のコーシーネット（コーシー有向点族）が収束するときに言う。あるいは同じことだが、その空間内の任意のコーシーフィルターが収束するときに言う。
URLﾘﾝｸ(ja.wikipedia.org)
完備化