>>555
>てかウォッシュの定理より、標準域で成り立つことは、超準域でも成り立つんですけど？
そこなんですけど
αは任意個じゃないですか
だから{α}も{α}*であれば成り立つてことないですか？
A={α}として
Uα∈Oていう開集合族を取って
∪[α∈A]Uα∈O
が成り立つから
Uα* ∈* O*　[α* ∈* A*]
については
U[α* ∈* A*] Uα* ∈* O*
が成り立つことは言えるんでしょうが
普通の意味でO*がA*の位相と言えるのは
Uα∈* O* [α ∈ A]
に対して
U[α∈A] Uα ∈* O*
が言えないとダメじゃないかと思ったんです
何て言うか
A*とO*の関係は位相じゃなくて位相*みたいなものじゃなくないですか？