索引を絞り込む
このページに含まれる項目を絞り込みます。
212件を表示しています。
定理
73件
- 定理 5. コンパクト性と全有界性と完備性 · HTMLから抽出
- 定理 7. コンパクト性と全有界性と完備性 · HTMLから抽出
- 定理 1. 距離空間の距離の修正 · HTMLから抽出
- 定理 7. 距離空間の距離の修正 · HTMLから抽出
- 定理 1. 距離化可能定理part0:破片 · HTMLから抽出
- 定理 5. 距離化可能定理part0:破片 · HTMLから抽出
- 定理 7. 距離化可能定理part0:破片 · HTMLから抽出
- 定理 8. 距離化可能定理part0:破片 · HTMLから抽出
- 定理 13 (Stone). 距離化可能定理part1:Alexandroff-Urysohn-Tukey · HTMLから抽出
- 定理 15 (Alexandroff-Urysohn-Tukeyその0). 距離化可能定理part1:Alexandroff-Urysohn-Tukey · HTMLから抽出
- 定理 16 (Alexandroff-Urysohn-Tukeyその1). 距離化可能定理part1:Alexandroff-Urysohn-Tukey · HTMLから抽出
- 定理 6 (Bing-長田-Smirnovの距離化可能定理). 距離化可能定理part-1:BNS · HTMLから抽出
- 定理 2 (Frink). 距離化可能定理part2:近傍 · HTMLから抽出
- 定理 3 (Nagata). 距離化可能定理part2:近傍 · HTMLから抽出
- 定理 4. 距離化可能定理part2:近傍 · HTMLから抽出
- 定理 15 (Tietzeの拡張定理その1). 等高線と連続関数:ウリゾーンの補題とティーチェの拡張定理:正規空間その(-1)(修正あり) · HTMLから抽出
- 定理 16 (Tietzeの拡張定理その2). 等高線と連続関数:ウリゾーンの補題とティーチェの拡張定理:正規空間その(-1)(修正あり) · HTMLから抽出
- 定理 20. 等高線と連続関数:ウリゾーンの補題とティーチェの拡張定理:正規空間その(-1)(修正あり) · HTMLから抽出
- 定理 22. 等高線と連続関数:ウリゾーンの補題とティーチェの拡張定理:正規空間その(-1)(修正あり) · HTMLから抽出
- 定理 3 (半連続関数の上限と下限). 等高線と連続関数:ウリゾーンの補題とティーチェの拡張定理:正規空間その(-1)(修正あり) · HTMLから抽出
- 定理 5. 等高線と連続関数:ウリゾーンの補題とティーチェの拡張定理:正規空間その(-1)(修正あり) · HTMLから抽出
- 定理 9 (ウリゾーンの補題). 等高線と連続関数:ウリゾーンの補題とティーチェの拡張定理:正規空間その(-1)(修正あり) · HTMLから抽出
- 定理 5. 実数の閉部分群 · HTMLから抽出
- 定理 1 (Radon-Nikodym). 入射角16.225°の測度論入門:ω_0 · HTMLから抽出
- 定理 3 (Lebesgueの微分定理その1). 入射角16.225°の測度論入門:ω_0 · HTMLから抽出
- 定理 4 (Lebesgueの微分定理その2). 入射角16.225°の測度論入門:ω_0 · HTMLから抽出
- 定理 5 (Lebesgueの微分定理その3(Lp版)). 入射角16.225°の測度論入門:ω_0 · HTMLから抽出
- 定理 6. 入射角16.225°の測度論入門:ω_0 · HTMLから抽出
- 定理 8 (変数変換公式). 入射角16.225°の測度論入門:ω_0 · HTMLから抽出
- 定理 4. L^1の畳込みに関する単位元が存在しないこと · HTMLから抽出
- 定理 7. いわゆる志賀多様体における多様体の埋め込み定理のための次元論的な補題の証明 · HTMLから抽出
- 定理 2. ハウスドルフ空間の中の稠密な局所コンパクト部分集合が開集合であること · HTMLから抽出
- 定理 10. 一様空間/未完成 · HTMLから抽出
- 定理 12. 一様空間/未完成 · HTMLから抽出
- 定理 13. 一様空間/未完成 · HTMLから抽出
- 定理 16. 一様空間/未完成 · HTMLから抽出
- 定理 25. 一様空間/未完成 · HTMLから抽出
- 定理 28. 一様空間/未完成 · HTMLから抽出
- 定理 3. 一様空間/未完成 · HTMLから抽出
- 定理 30. 一様空間/未完成 · HTMLから抽出
- 定理 31. 一様空間/未完成 · HTMLから抽出
- 定理 32. 一様空間/未完成 · HTMLから抽出
- 定理 33. 一様空間/未完成 · HTMLから抽出
- 定理 35. 一様空間/未完成 · HTMLから抽出
- 定理 38. 一様空間/未完成 · HTMLから抽出
- 定理 43. 一様空間/未完成 · HTMLから抽出
- 定理 45. 一様空間/未完成 · HTMLから抽出
- 定理 46. 一様空間/未完成 · HTMLから抽出
- 定理 47. 一様空間/未完成 · HTMLから抽出
- 定理 48 (制限されたウリゾーンの定理). 一様空間/未完成 · HTMLから抽出
- 定理 49. 一様空間/未完成 · HTMLから抽出
- 定理 8. 一様空間/未完成 · HTMLから抽出
- 定理 9. 一様空間/未完成 · HTMLから抽出
- 定理 18 (局所有限被覆と単位の分割). 正規空間その0:単位の分割[未完成] · HTMLから抽出
- 定理 19 (有限被覆と単位の分割). 正規空間その0:単位の分割[未完成] · HTMLから抽出
- 定理 6 (Arens-Dugundji). 可算コンパクトとメタコンパクト · HTMLから抽出
- 定理 1. コンパクト性と閉射影:Kuratowski-Mrówka's Thoerem · HTMLから抽出
- 定理 12 (Noble). Nobleの定理 · HTMLから抽出
- 定理 8. Nobleの定理 · HTMLから抽出
- 定理 1. 単位閉区間が可算個の非空なる閉集合族の直和で描けないこと · HTMLから抽出
- 定理 1 (弱いStone-Weierstrassの定理). 廃棄物投棄 · HTMLから抽出
- 定理 3. 廃棄物投棄 · HTMLから抽出
- 定理 4 (Stone-Weierstrass). 廃棄物投棄 · HTMLから抽出
- 定理 5 (局所コンパクトハウスドルフ空間に於けるStone-Weierstrassの定理). 廃棄物投棄 · HTMLから抽出
- 定理 6 (Stone-Weierstrassの複素形). 廃棄物投棄 · HTMLから抽出
- 定理 7 (局所コンパクトハウスドルフ空間に於けるStone-Weierstrassの定理の複素形). 廃棄物投棄 · HTMLから抽出
- 定理 3. 点可算被覆と可算コンパクト性 · HTMLから抽出
- 定理 4. 点可算被覆と可算コンパクト性 · HTMLから抽出
- 定理 11. 線形順序位相空間 · HTMLから抽出
- 定理 18. オメガ1の位相的性質。 · HTMLから抽出
- 定理 21. オメガ1の位相的性質。 · HTMLから抽出
- 定理 27. オメガ1の位相的性質。 · HTMLから抽出
- 定理 8. オメガ1の位相的性質。 · HTMLから抽出
定義
87件
- 定義 1 (可算コンパクト). 点列コンパクト性とコンパクト性は無関係 · HTMLから抽出
- 定義 2. 点列コンパクト性とコンパクト性は無関係 · HTMLから抽出
- 定義 3 (集積コンパクト). 点列コンパクト性とコンパクト性は無関係 · HTMLから抽出
- 定義 5 (点列). 点列コンパクト性とコンパクト性は無関係 · HTMLから抽出
- 定義 6 (部分列). 点列コンパクト性とコンパクト性は無関係 · HTMLから抽出
- 定義 7 (点列の収束). 点列コンパクト性とコンパクト性は無関係 · HTMLから抽出
- 定義 8 (点列コンパクト). 点列コンパクト性とコンパクト性は無関係 · HTMLから抽出
- 定義 1 (星型集合). 距離化可能定理part1:Alexandroff-Urysohn-Tukey · HTMLから抽出
- 定義 10 (正規列、正規被覆). 距離化可能定理part1:Alexandroff-Urysohn-Tukey · HTMLから抽出
- 定義 2 (∗とΔ). 距離化可能定理part1:Alexandroff-Urysohn-Tukey · HTMLから抽出
- 定義 3 (細分). 距離化可能定理part1:Alexandroff-Urysohn-Tukey · HTMLから抽出
- 定義 4 (星型細分、Δ細分). 距離化可能定理part1:Alexandroff-Urysohn-Tukey · HTMLから抽出
- 定義 1 (擬距離). 距離化可能定理part-1:BNS · HTMLから抽出
- 定義 10 (可算コンパクト). 距離化可能定理part-1:BNS · HTMLから抽出
- 定義 3 (ゲージ空間). 距離化可能定理part-1:BNS · HTMLから抽出
- 定義 8. 距離化可能定理part-1:BNS · HTMLから抽出
- 定義 1 (固有写像). 固有写像と完全写像に関係する反例 · HTMLから抽出
- 定義 2. 固有写像と完全写像に関係する反例 · HTMLから抽出
- 定義 8. 可算パラコンパクトではないメタコンパクトσコンパクトハウスドルフ空間そんでムーア空間でない展開可能空間 · HTMLから抽出
- 定義 9. 可算パラコンパクトではないメタコンパクトσコンパクトハウスドルフ空間そんでムーア空間でない展開可能空間 · HTMLから抽出
- 定義 1 (上半連続、下半連続). 等高線と連続関数:ウリゾーンの補題とティーチェの拡張定理:正規空間その(-1)(修正あり) · HTMLから抽出
- 定義 10. 等高線と連続関数:ウリゾーンの補題とティーチェの拡張定理:正規空間その(-1)(修正あり) · HTMLから抽出
- 定義 11. 等高線と連続関数:ウリゾーンの補題とティーチェの拡張定理:正規空間その(-1)(修正あり) · HTMLから抽出
- 定義 17. 等高線と連続関数:ウリゾーンの補題とティーチェの拡張定理:正規空間その(-1)(修正あり) · HTMLから抽出
- 定義 18. 等高線と連続関数:ウリゾーンの補題とティーチェの拡張定理:正規空間その(-1)(修正あり) · HTMLから抽出
- 定義 19. 等高線と連続関数:ウリゾーンの補題とティーチェの拡張定理:正規空間その(-1)(修正あり) · HTMLから抽出
- 定義 21 (ℵ0-族正規性もしくは可算族正規性). 等高線と連続関数:ウリゾーンの補題とティーチェの拡張定理:正規空間その(-1)(修正あり) · HTMLから抽出
- 定義 4 (開等高線). 等高線と連続関数:ウリゾーンの補題とティーチェの拡張定理:正規空間その(-1)(修正あり) · HTMLから抽出
- 定義 6 (逆向き開等高線). 等高線と連続関数:ウリゾーンの補題とティーチェの拡張定理:正規空間その(-1)(修正あり) · HTMLから抽出
- 定義 7 (閉等高線). 等高線と連続関数:ウリゾーンの補題とティーチェの拡張定理:正規空間その(-1)(修正あり) · HTMLから抽出
- 定義 8 (逆向き閉等高線). 等高線と連続関数:ウリゾーンの補題とティーチェの拡張定理:正規空間その(-1)(修正あり) · HTMLから抽出
- 定義 2 (小さい帰納次元). いわゆる志賀多様体における多様体の埋め込み定理のための次元論的な補題の証明 · HTMLから抽出
- 定義 1. ハウスドルフ空間の中の稠密な局所コンパクト部分集合が開集合であること · HTMLから抽出
- 定義 1. 一様空間/未完成 · HTMLから抽出
- 定義 11 (関数による分離). 一様空間/未完成 · HTMLから抽出
- 定義 15 (位相群). 一様空間/未完成 · HTMLから抽出
- 定義 17 (始位相(Initial topology)). 一様空間/未完成 · HTMLから抽出
- 定義 18 (X×Xの部分集合の合成と逆). 一様空間/未完成 · HTMLから抽出
- 定義 19. 一様空間/未完成 · HTMLから抽出
- 定義 2 (フィルター基). 一様空間/未完成 · HTMLから抽出
- 定義 20. 一様空間/未完成 · HTMLから抽出
- 定義 21 (一様空間). 一様空間/未完成 · HTMLから抽出
- 定義 22 (対称近縁). 一様空間/未完成 · HTMLから抽出
- 定義 23. 一様空間/未完成 · HTMLから抽出
- 定義 34 (一様連続関数). 一様空間/未完成 · HTMLから抽出
- 定義 36. 一様空間/未完成 · HTMLから抽出
- 定義 37. 一様空間/未完成 · HTMLから抽出
- 定義 39. 一様空間/未完成 · HTMLから抽出
- 定義 40. 一様空間/未完成 · HTMLから抽出
- 定義 41 (基本ゲージ). 一様空間/未完成 · HTMLから抽出
- 定義 5 (位相空間). 一様空間/未完成 · HTMLから抽出
- 定義 6 (閉集合). 一様空間/未完成 · HTMLから抽出
- 定義 7 (近傍系). 一様空間/未完成 · HTMLから抽出
- 定義 1 (細分). 正規空間その0:単位の分割[未完成] · HTMLから抽出
- 定義 10 (点有限な弱い単位の分割). 正規空間その0:単位の分割[未完成] · HTMLから抽出
- 定義 11 (局所有限な弱い単位の分割). 正規空間その0:単位の分割[未完成] · HTMLから抽出
- 定義 12 (局所有限な強い単位の分割). 正規空間その0:単位の分割[未完成] · HTMLから抽出
- 定義 2 (点有限族). 正規空間その0:単位の分割[未完成] · HTMLから抽出
- 定義 3 (局所有限族). 正規空間その0:単位の分割[未完成] · HTMLから抽出
- 定義 4 (開収縮). 正規空間その0:単位の分割[未完成] · HTMLから抽出
- 定義 5 (閉収縮). 正規空間その0:単位の分割[未完成] · HTMLから抽出
- 定義 6 (Weak supportとSupport). 正規空間その0:単位の分割[未完成] · HTMLから抽出
- 定義 7 (弱い単位の分割). 正規空間その0:単位の分割[未完成] · HTMLから抽出
- 定義 8 (強い単位の分割). 正規空間その0:単位の分割[未完成] · HTMLから抽出
- 定義 9 (点有限な弱い単位の分割). 正規空間その0:単位の分割[未完成] · HTMLから抽出
- 定義 1. 可算コンパクトとメタコンパクト · HTMLから抽出
- 定義 2. 可算コンパクトとメタコンパクト · HTMLから抽出
- 定義 3. 可算コンパクトとメタコンパクト · HTMLから抽出
- 定義 4 (既約被覆). 可算コンパクトとメタコンパクト · HTMLから抽出
- 定義 2 (完全集積点). コンパクト性と閉射影:Kuratowski-Mrówka's Thoerem · HTMLから抽出
- 定義 2. Nobleの定理 · HTMLから抽出
- 定義 5. Nobleの定理 · HTMLから抽出
- 定義 1 (星型集合). 点可算被覆と可算コンパクト性 · HTMLから抽出
- 定義 2 (完全集積点). 点可算被覆と可算コンパクト性 · HTMLから抽出
- 定義 5 (メタリンデレフ). 点可算被覆と可算コンパクト性 · HTMLから抽出
- 定義 1 (線形順序). 線形順序位相空間 · HTMLから抽出
- 定義 2 (部分線形順序集合). 線形順序位相空間 · HTMLから抽出
- 定義 3 (順序稠密性、順序の意味で稠密性). 線形順序位相空間 · HTMLから抽出
- 定義 4. 線形順序位相空間 · HTMLから抽出
- 定義 5 (sup,inf,max,min). 線形順序位相空間 · HTMLから抽出
- 定義 6 (順序完備性). 線形順序位相空間 · HTMLから抽出
- 定義 7 (区間). 線形順序位相空間 · HTMLから抽出
- 定義 8. 線形順序位相空間 · HTMLから抽出
- 定義 1. オメガ1の位相的性質。 · HTMLから抽出
- 定義 13 (club集合). オメガ1の位相的性質。 · HTMLから抽出
- 定義 28 (定常集合). オメガ1の位相的性質。 · HTMLから抽出
- 定義 3 (有界と非有界). オメガ1の位相的性質。 · HTMLから抽出
命題
45件
- 命題 4. 点列コンパクト性とコンパクト性は無関係 · HTMLから抽出
- 命題 13. 距離化可能定理part-1:BNS · HTMLから抽出
- 命題 2. 距離化可能定理part-1:BNS · HTMLから抽出
- 命題 4 (ゲージ空間の擬距離距離付け可能性). 距離化可能定理part-1:BNS · HTMLから抽出
- 命題 1. 可算パラコンパクトではないメタコンパクトσコンパクトハウスドルフ空間そんでムーア空間でない展開可能空間 · HTMLから抽出
- 命題 10. 可算パラコンパクトではないメタコンパクトσコンパクトハウスドルフ空間そんでムーア空間でない展開可能空間 · HTMLから抽出
- 命題 2. 可算パラコンパクトではないメタコンパクトσコンパクトハウスドルフ空間そんでムーア空間でない展開可能空間 · HTMLから抽出
- 命題 3. 可算パラコンパクトではないメタコンパクトσコンパクトハウスドルフ空間そんでムーア空間でない展開可能空間 · HTMLから抽出
- 命題 4. 可算パラコンパクトではないメタコンパクトσコンパクトハウスドルフ空間そんでムーア空間でない展開可能空間 · HTMLから抽出
- 命題 5. 可算パラコンパクトではないメタコンパクトσコンパクトハウスドルフ空間そんでムーア空間でない展開可能空間 · HTMLから抽出
- 命題 6. 可算パラコンパクトではないメタコンパクトσコンパクトハウスドルフ空間そんでムーア空間でない展開可能空間 · HTMLから抽出
- 命題 7. 可算パラコンパクトではないメタコンパクトσコンパクトハウスドルフ空間そんでムーア空間でない展開可能空間 · HTMLから抽出
- 命題 12. 等高線と連続関数:ウリゾーンの補題とティーチェの拡張定理:正規空間その(-1)(修正あり) · HTMLから抽出
- 命題 3. 実数の閉部分群 · HTMLから抽出
- 命題 4. 実数の閉部分群 · HTMLから抽出
- 命題 1. L^1の畳込みに関する単位元が存在しないこと · HTMLから抽出
- 命題 2 (平行移動のLp連続性). L^1の畳込みに関する単位元が存在しないこと · HTMLから抽出
- 命題 3. L^1の畳込みに関する単位元が存在しないこと · HTMLから抽出
- 命題 6. いわゆる志賀多様体における多様体の埋め込み定理のための次元論的な補題の証明 · HTMLから抽出
- 命題 3. ハウスドルフ空間の中の稠密な局所コンパクト部分集合が開集合であること · HTMLから抽出
- 命題 4. ハウスドルフ空間の中の稠密な局所コンパクト部分集合が開集合であること · HTMLから抽出
- 命題 29. 一様空間/未完成 · HTMLから抽出
- 命題 5. 可算コンパクトとメタコンパクト · HTMLから抽出
- 命題 1. 有理数と無理数の稠密性 · HTMLから抽出
- 命題 3. 有理数と無理数の稠密性 · HTMLから抽出
- 命題 4. Nobleの定理 · HTMLから抽出
- 命題 10. 線形順序位相空間 · HTMLから抽出
- 命題 13. 線形順序位相空間 · HTMLから抽出
- 命題 14. 線形順序位相空間 · HTMLから抽出
- 命題 15. 線形順序位相空間 · HTMLから抽出
- 命題 9. 線形順序位相空間 · HTMLから抽出
- 命題 10. オメガ1の位相的性質。 · HTMLから抽出
- 命題 11. オメガ1の位相的性質。 · HTMLから抽出
- 命題 12. オメガ1の位相的性質。 · HTMLから抽出
- 命題 16. オメガ1の位相的性質。 · HTMLから抽出
- 命題 2. オメガ1の位相的性質。 · HTMLから抽出
- 命題 23. オメガ1の位相的性質。 · HTMLから抽出
- 命題 24. オメガ1の位相的性質。 · HTMLから抽出
- 命題 25. オメガ1の位相的性質。 · HTMLから抽出
- 命題 30. オメガ1の位相的性質。 · HTMLから抽出
- 命題 4. オメガ1の位相的性質。 · HTMLから抽出
- 命題 5. オメガ1の位相的性質。 · HTMLから抽出
- 命題 6. オメガ1の位相的性質。 · HTMLから抽出
- 命題 7. オメガ1の位相的性質。 · HTMLから抽出
- 命題 9. オメガ1の位相的性質。 · HTMLから抽出
反例
7件
- 反例を扱う原稿:点列コンパクト性とコンパクト性は無関係 点列コンパクト性とコンパクト性は無関係 · 反例タグから補完
- 反例を扱う原稿:固有写像と完全写像に関係する反例 固有写像と完全写像に関係する反例 · 反例タグから補完
- 反例を扱う原稿:可算パラコンパクトではないメタコンパクトσコンパクトハウスドルフ空間そんでムーア空間でない展開可能空間 可算パラコンパクトではないメタコンパクトσコンパクトハウスドルフ空間そんでムーア空間でない展開可能空間 · 反例タグから補完
- 反例を扱う原稿:Sardの定理にまつわる反例と「多様体の基礎」の誤り Sardの定理にまつわる反例と「多様体の基礎」の誤り · 反例タグから補完
- 反例を扱う原稿:カントールの区間縮小法と反例 カントールの区間縮小法と反例 · 反例タグから補完
- 反例を扱う原稿:連結ハウスドルフ可算集合 連結ハウスドルフ可算集合 · 反例タグから補完
- 反例を扱う原稿:オメガ1の位相的性質。 オメガ1の位相的性質。 · 反例タグから補完