Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top
  • What does it mean to be compact in the $w^{*}$-topology?
  • How is it related to polytopes unit balls?
share|cite|improve this question
Do you know what the "w^$*$-topology" means? (I might guess that it's an abbreviation for the "weak-$*$ topology", but I'm not sure.) – Pete L. Clark Feb 16 '13 at 20:08
@PeteL.Clark if you can explian I'll be greatful – 0x90 Feb 16 '13 at 20:14
Weak* topology is normally used in infinite-dimensional spaces (since all reasonable topologies coincide in finite-dimensional spaces). If by "polytope" you mean something in a finite-dimensional space, then I imagine weak* is of no help. – GEdgar Feb 16 '13 at 20:17
up vote 1 down vote accepted

A set $\rm K$ is compact in the $\ast$-weak topology if and only if given any covering of $\rm K$ by $\ast$-weak open sets $(\rm U_i)_{i \in \rm I}$, there exists a finite subset $\rm J \subset \rm I$ such that the $(\rm U_j)_{j \in \rm J}$ is a covering of $\rm K$.

share|cite|improve this answer
I suspect the problem OP is having is not the definition of compact, but the definition of $w^*$, and whether the definition of "compact" has any other characterization in this sort of topology – Thomas Andrews Feb 15 '13 at 13:28
Seriously? $ $ $ $ – Martin Feb 15 '13 at 13:42

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.