Skip to main content

All Questions

0 votes
0 answers
262 views

Is Baire's theorem stronger than needed for functional analysis?

Many classic theorems in functional analysis involve using Baire's theorem to prove facts about topology that relate to maps between Banach spaces (or, more generally, F-spaces). The application ...
user_35's user avatar
  • 109
0 votes
0 answers
142 views

About the theorem of Weierstrass?

Is $E=Vect\{1,x,x^2,...,x^{2^n},...\}$ dense in $C([0,1])$ for the uniform norm? While looking for a short proof for Weierstrass' theorem, I came across this justification(*) (which shows this result)...
Dattier's user avatar
  • 3,824
35 votes
2 answers
2k views

Is it consistent with ZF that $V \to V^{\ast \ast}$ is always an isomorphism?

Let $k$ be a field and $V$ a $k$-vector space. Then there is a map $V \to V^{\ast \ast}$, where $V^{\ast}$ is the dual vector space. If we are in ZFC and $\dim V$ is infinite, then this map is not ...
David E Speyer's user avatar
0 votes
1 answer
540 views

Teaching profession:Differential Equations and Mean Value Theorems

Usually I teach Algebra,Algebra and Geometyry, Topology, at various University levels. This semester (Spring 2014) I have to teach Differential Equations to University second year students (4th ...
Al-Amrani's user avatar
  • 1,437
4 votes
4 answers
4k views

Variation on the Sobolev space $H^1_0$

Let $\Omega\subset\mathbb{R}^n$ be a bounded open set, let $$ C^1_0(\overline\Omega) = \{u\in C^1(\Omega)\cap C(\overline\Omega):u|_{\partial\Omega}=0\}, $$ and let $C^1_c(\Omega)$ be the space of ...
timur's user avatar
  • 3,302