2
votes
1answer
21 views

Baire Category for monotonic sequence

Let X be a non-empty complete metric space and let $\{f_n:X\to \Bbb R\}^\infty_{n=1}$ be a sequence of continuous functions with the following property: for each $c\in X$, there exists an integer ...
1
vote
2answers
31 views

Is the complement of a set 1st category set $X$ of 2nd category?

If I have some metric space $M$ and find that $X \subset M$ is of 1st category (resp. 2nd category), is the complement of $X$, $X^c$ of second cateogry (resp. 1st category)? Thanks!
0
votes
1answer
24 views

How can the Baire Category Theorem be used to show a point in a complete metric space has some particular property?

My book gives a very tantalizing yet brief note that the Baire Category Theorem can be used to show that a point $x$ in a complete metric space $M$ has a particular property $P$. It states: "A ...
3
votes
1answer
46 views

Linear functional in Banach space

Let $X$ be a Banach space, $(f_n)\in X^{*}$ a sequence with $f_n\neq 0 $ $ \forall n\in \Bbb N$. Show that there is a $x\in X$ such that $f_n(x)\neq 0 $ $\forall n$. Need some help. Thank you!
2
votes
3answers
43 views

Meagre Sets: Algebra

Let meagre subsets be defined as: $A\text{ meagre}\iff A=\bigcup_{\lvert K\rvert\leq\aleph_0} A_k\text{ with }\overline{A_k}°=\varnothing$ Then it satisfies: $B\subseteq A\text{ meagre}\Rightarrow ...
1
vote
1answer
33 views

Baire: Equivalent Statements II

Moreover, why does it follow for Baire Spaces and why is it strictly weaker that: $X=\bigcup_{k=1}^\infty A_k\quad\Rightarrow\quad\exists k_0\in\mathbb{N},x_0\in X: A_{k_0}\in\mathcal{N}_{x_0}$ ...
2
votes
2answers
78 views

Baire: Equivalent Statements

How to proof that these statements are equivalent: Every intersection of countably many dense open sets is dense. The interior of every union of countably many closed nowhere dense sets is empty. ...
1
vote
1answer
49 views

Prove that a set is dense and of the first category in $L^2(T)$

Define the Fourier coefficients $\hat{f}(n)$ of a function $f\in L^2(T)$, $T$ is a unit circle, by: $\hat{f}(n)=\frac{1}{2\pi}\int\limits_{-\pi}^{\pi}f(e^{i\theta})e^{-in\theta}d\theta$ Let ...
1
vote
1answer
56 views

Baire category related question

Let $A_n$ be a sequence of closed sets of $\mathbb{R}$ such that $[a,b]\subseteq \cup A_n$, for some $a<b $. Show that at least one of the set $A_n$'s contains an interval. Thanks in advance,
0
votes
1answer
55 views

Baire's theorem proof

> A non-empty complete metric space is NOT the countable union of nowhere-dense closed sets. I don't understand the following point the proof: we assume that $X$ is the countable union of ...
0
votes
1answer
137 views

No infinite-dimensional $F$-space has a countable Hamel basis

If $X$ is an infinite-dimensional topological vector space which is the union of countably many finite-dimensional subspaces, prove that $X$ is of the first category in itself. Prove that therefore ...
2
votes
1answer
161 views

Examples of rare, meager and nonmeager sets in $\mathbb{R}$

Kreyszig Functional Analysis book presents the following definition. I'm trying to get some examples. (a) The cantor set $K$ is rare in $\mathbb{R}$ because it's closed and has empty interior so ...
7
votes
1answer
136 views

Can a meager linear subspace be written as a countable increasing union of nowhere dense subspaces?

Let $X$ be a separable Banach space. In this question, "subspace" means a linear subspace, not necessarily closed. Suppose $E \subset X$ is a subspace which is meager, so that we can write $E = ...
4
votes
1answer
135 views

$L_2$ is of first category in $L_1$ (Rudin Excercise 2.4b) [duplicate]

We mean here $L_2$, and $L_1$ the usual Lebesgue spaces on the unit-interval. It is excercise 2.4 from Rudin. There's several ways to show that $L_2$ is nowhere dense in $L_1$. But in (b) they ask to ...
3
votes
1answer
93 views

Measure spaces are proper subsets

I want to prove that $L^2$ is of the first category in $L^1$, thus I have to prove that $L^2$ is the countable union of nowhere dense subsets. The hint I get is: Take $g_n(x)=n$ for $0\leq ...
1
vote
1answer
279 views

Diophantine number has full measure but is meager

This an exercise 3 on Terence Tao's blog: A real number $x$ is Diophantine if for every $\varepsilon > 0$ there exists $c_\varepsilon > 0$ such that $|x - \frac{a}{q}| \geq ...
2
votes
1answer
91 views

Why is there an element with infinite spectrum in a commutative Banach algebra with infinitely many characters?

Let $A$ be a commutative Banach algebra such that set of all characters is infinite. I want to prove that there exists an element in $A$ such that its spectrum is infinite.
1
vote
0answers
42 views

Baire's theorem [duplicate]

I want to know interesting applications of Baire's Category Theorem. For example existence of no where differentiable function. Can any body tell me some similar applications?
4
votes
2answers
475 views

About Baire's Category Theorem(BCT)

Consider the following theorem known as Baire's Category Theorem (BCT). Theorem.[BCT] A non-empty complete metric space $X$ is not a countable union of nowhere dense sets. I am interested on how to ...
2
votes
1answer
212 views

The Principle of Condensation of Singularities

Let $X$, $Y$ be Banach spaces and $\{T_{jk} : j,k \in\Bbb N\}$ be bounded linear maps from $X$ to $Y$. Suppose that for each $k$ there exists $x\in X$ such that $\sup\{\lVert T_{jk} x\rVert : j ...
8
votes
1answer
2k views

Let $X$ be an infinite dimensional Banach space. Prove that every basis of X is uncountable.

Let $X$ be an infinite dimensional Banach space. Prove that every basis of $X$ is uncountable. Can anyone help how can I solve the above problem?
1
vote
3answers
269 views

A question on the proof of Open mapping theorem

I was following the proof of the Open Mapping Theorem in functional analysis in Wikipedia, and I came across a line in the proof that did not make sense. Some notations: $U,V$ are open unit balls in ...
5
votes
1answer
125 views

Is $\ell^1 \subset \ell^2$ meagre? [duplicate]

Possible Duplicate: Prove $\ell_1$ is first category in $\ell_2$ Consider $\ell^2$ with the topology induced by the usual norm. We can easily prove that $\ell^1 \subset \ell^2$. I am ...
4
votes
1answer
153 views

Prove $\ell_1$ is first category in $\ell_2$

Prove that $\ell_1$ is first category in $\ell_2$. I tried to solve this, but had no idea about the approach. Any suggestions are helpful. Thanks in advance.
68
votes
18answers
7k views

Your favourite application of the Baire Category Theorem

I think I remember reading somewhere that the Baire Category Theorem is supposedly quite powerful. Whether that is true or not, it's my favourite theorem (so far) and I'd love to see some applications ...
103
votes
1answer
3k views

Does the open mapping theorem imply the Baire category theorem?

A nice observation by C.E. Blair1, 2, 3 shows that the Baire category theorem for complete metric spaces is equivalent to the axiom of (countable) dependent choice. On the other hand, the three ...