$S(x_0, \epsilon, A^*)=\{x \in X : |f(x) - f(x_0)|< \epsilon \, \forall \, f \in A^* \}$ Where $A^*$ is a finite subset of the dual space $X'$.

I'm stuck on how to apply the two conditions of basis on the set.

  • $\begingroup$ Isn't this the definition of the weak topology? What is your definition? $\endgroup$ – T. Eskin Jun 7 '15 at 15:17
  • $\begingroup$ @ThomasE. The definition I'm using is that the topology on $X$ defined by the semi norm $\{pf : f \in X^*\}$ is the weak topology. $\endgroup$ – Mark Jun 7 '15 at 15:52
  • $\begingroup$ What is $p$ and what do you mean by that set being a semi-norm? $\endgroup$ – T. Eskin Jun 7 '15 at 15:56
  • $\begingroup$ @Mark: In your previous comment did you mean $\{p_f:f\in X^*\}$, where $p_f(x)=|f(x)|$? $\endgroup$ – Brian M. Scott Jun 7 '15 at 16:03
  • 1
    $\begingroup$ Maybe you'll find this thread useful: math.stackexchange.com/questions/305808/… $\endgroup$ – T. Eskin Jun 7 '15 at 16:43

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.