Property P000091

Eberlein compact

Any compact subspace of a $\Sigma^\ast$-product of real lines.

Show markdown

• Theorems
• Spaces
• References

• A note on Eberlein compacts