I have proved that $R^\infty$ is a Frechect Space. From here I have to prove it's also a Polish Space. I am stuck here. Any kind of Reference, Comments, and Suggestions would be appreciated.
Asked
Active
Viewed 231 times
2
-
1What is $R^\infty$? – Noah Schweber May 29 '21 at 06:39
-
@NoahSchweber Maybe it is $\mathbb{R}^{\mathbb{N}}$ – Vivaan Daga May 29 '21 at 07:01
-
For separability, see here. For metrisability see here. etc. – Henno Brandsma May 29 '21 at 07:43