0
votes
0answers
22 views

Showing an operator kernel is nowhere dense…

We are doing a problem that requires us to, for fixed NONZERO element $h \in L^2[0,1]$ (as in, the function $h$ is not zero on a set of positive measure in $[0,1]$) and fixed $f \in L^2[0,1]$ with ...
4
votes
1answer
67 views

Nowhere dense set…

Let $A_n$ be a subset of continuous functions on $[0,1]$ given by: $A_n$ = {$f∈C[0,1]$:there exists $x∈[0,1]$ such that $|f(x)−f(y)|≤n|x−y|$ for all $y∈[0,1]$}. Show $A_n$ is nowhere dense, and use ...
0
votes
0answers
17 views

Uniform boundedness… [duplicate]

Let $\{f_n\}$ be sequences of real valued continuous functions on $\Bbb R$ that is convergent pointwise on $\Bbb R$. Show that there exists $M>0$ and interval $I\subset \Bbb R$ such that ...
3
votes
1answer
73 views

A Baire category question

Let ${f_n}$ be a sequence of real valued continuous functions converging pointwise on $\Bbb R$. Show that there exists a number $M>0$ and an interval $I \subset \Bbb R$ such that $\sup\{ |f_n(x)|:x ...
3
votes
1answer
41 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!
1
vote
1answer
42 views

corollary to baire category theorem

I'm studying topology with gamelin and greene's text and I came across a corollary to the baire category theorem which states that "Let (En) be a sequence of nowhere dense subsets of a complete ...
0
votes
1answer
31 views

Application of Baire's theorem

Let $f: (a,b) \rightarrow \Bbb R$ be a differentiable function in $(a,b)$. Calculate the pointwise limit of: $$f_n(x)=n(f(x+1/n)-f(x)), x\in(a, b-1/n). $$ Let $E_n$ be a countable ...
2
votes
1answer
30 views

Oxtoby Thm 5.4 Bernstein sets

I am reading Measure and Category of Oxtoby. I have a question about Theorem 5.4 added below. I think I understand the construction of Bernstein sets, and also the main line of the Proof. My question ...
1
vote
1answer
55 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
3answers
81 views

Is a Baire Space necessarily complete?

A complete metric space a Baire space. But is a Baire space necessarily complete?
1
vote
1answer
45 views

Baire Category Theorem: What should we really prove there?

I am reading about the Baire Category Theorem in Jech's book on set theory. 4.8: Baire Category Theorem: Let $D_0,D_1,\dots,D_n,\dots$, $n \in \mathbb{N}$, be open dense subset of $\mathbb{R}$. Then ...
1
vote
1answer
40 views

definition of Baire first category set

Suppose that $A$ is of the first category. Is it possible to write $A$ as a countable union of sets that are not necessarily nowhere dense? I mean after all a first category set is defined such that ...
2
votes
0answers
44 views

Baire Category Theorem with $G_{\delta}$

If we have a subset $Y$ of a complete metric space $X$ such that $Y$ is a $G_{\delta}$, then how would I go to show that $Y$ satisfies the Baire category theorem? I am trying to get there by showing ...
1
vote
1answer
109 views

Can somebody help me to understand this? (Baire Category Theorem)

Theorem $\mathbf{6.11}$ (Baire Category Theorem) Every residual subset of $\Bbb R$ is dense in $\Bbb R$. $\mathbf{6.4.5}$ Suppose that $\bigcup_{n=1}^\infty A_n$ contains some interval ...
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 ...
1
vote
1answer
229 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 ...
9
votes
1answer
273 views

Can a sequence of functions have infinity as limit exactly at rationals?

Someone asked me this question. And he said it's an exercise from Rudin's Real and Complex Analysis. Does there exist a sequence of continuous functions $f_n(x)$, such that $\lim_{n \to \infty} ...
4
votes
0answers
76 views

Partition of $\mathbb{R}$ into nullset and 1st category set

Let $\{a_i\}_{i=1}^{\infty}$ be an enumeration of the rationals, $\mathbb{Q}$. Let $I_{ij}$ be the open interval centered at $a_i$ and having length $1/2^{i+j}$, and define $G_j = \cup_{i=1}^\infty ...
0
votes
1answer
87 views

Use the concept of Baire Category to prove that the upper integral of a positive function is always positive.

Use Baire Category to prove that the upper integral from $0$ to $1$ of any $f:[0,1]\to(0,1]$ is greater than $0$.
1
vote
0answers
40 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?
1
vote
2answers
163 views

Cantor's intersection theorem and Baire Category Theorem

From an old post in math stackexchange, I read a comment which goes as follows " I like to think of Baire Category Theorem as spiced up version of Cantor's Intersection Theorem". My question -----is ...
2
votes
3answers
305 views

Dirichlet Function Pointwise Convergence

We say that a function $f$ is Baire Class $1$ if there is a sequence of functions $f_i \to f$ pointwise where each $f_i$ is continuous. The set of discontinuities of a Baire Class $1$ function $f$ ...
6
votes
1answer
325 views

Infinitely times differentiable function

Let $f$ belong to $ C^{\infty}[0,1]$ and for each $x \in [0,1]$ there exists $n \in \mathbb{N}$ so that $f^{(n)}(x)=0$. Prove that $f$ is a polynomial in $[0,1]$. I am trying to use Baire Category ...
3
votes
1answer
245 views

Baire: Show that $f\colon \mathbb{R}\to\mathbb{R}$ is a polynomial in an open bounded set

Let $f\colon\mathbb{R}\to\mathbb{R}$ be an infinitely differentiable function, and suppose that for each $x\in\mathbb{R},$ $\exists\ n=n(x)\in\mathbb{N}$ such that $f^{(n)}(x)=0$. For each fixed ...
0
votes
1answer
494 views

Is the union of two nowhere dense sets nowhere dense?

Is the union of two nowhere dense sets nowhere dense? Using the following definition: A nowhere dense set is a subset $E\subset X$ of a metric space (or topological space) $X$ such that ...
2
votes
2answers
427 views

Baby Rudin problem 3.22: prove Baire's theorem. Am I going in a reasonable direction?

Suppose $X$ is a nonempty complete metric space, and $\{G_n\}$ is a sequence of dense open subsets of $X$. Prove Baire's theorem, namely, that $\bigcap_1^\infty G_n$ is not empty. Hint: find a ...
3
votes
1answer
133 views

Baire Category and F sigmas

Can anyone give an example of a Meagre subset of $\mathbb{R}$ (i.e., of the first Baire Category), which isn't an $F_\sigma$? Simple cardinality arguments show that such a thing exists, but I can't ...
8
votes
2answers
657 views

Proof That $\mathbb{R} \setminus \mathbb{Q}$ Is Not an $F_{\sigma}$ Set

I am trying to prove that the set of irrational numbers $\mathbb{R} \setminus \mathbb{Q}$ is not an $F_{\sigma}$ set. Here's my attempt: Assume that indeed $\mathbb{R} \setminus \mathbb{Q}$ is an ...
7
votes
1answer
181 views

Help understanding game version of Baire category theorem

I got this from Thomson et al.'s freely available "Elementary Real Analysis" p.356. They introduce Baire's category theorem through a game where, given two players (A) and (B) Player (A) is given ...
2
votes
3answers
536 views

Corollary to Baire's Category Theorem

In Rudin's Real and Complex Analysis (p. 97 in my 3rd edition), the following is stated as a corollary to Baire's Category Theorem: "In a complete metric space, the intersection of any countable ...
39
votes
5answers
5k views

Is $[0,1]$ a countable disjoint union of closed sets?

Can you express $[0,1]$ as a countable disjoint union of closed sets, other than the trivial way of doing this?