2
votes
1answer
22 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 ...
1
vote
2answers
63 views

Baire's Theorem Formulation

I am still having problems with some of the proofs of Baire's theorem. In Introductory Real Analysis by Kolmogorov and Fomin The statement of the theorem states that: "A complete metric space R ...
0
votes
1answer
42 views

Baire's Theorem proof regarding points revisited

My first question on this point was not answered. Here is the first part of Shilov's proof of Baire's theorem (not an exact lift from the book as I avoided mathematical symbols). I am trying to be ...
0
votes
1answer
46 views

Baire category theorem to show a set is dense.

Consider $A_j$ a sequence of subsets of $[0,1]$ s.t. for each $N\geq 1$, $\bigcup_{j=N}^\infty A_j$ is open and dense in $[0,1]$. If $S$ is the set of points $x \in [0,1]$ s.t. $x \in A_j$ for ...
0
votes
0answers
30 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
98 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
22 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
93 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
47 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
65 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
33 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 ...
3
votes
1answer
37 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
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
3answers
91 views

Is a Baire Space necessarily complete?

A complete metric space a Baire space. But is a Baire space necessarily complete?
1
vote
1answer
46 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
45 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
50 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
123 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
136 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 ...
2
votes
1answer
329 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
287 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
78 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
89 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
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?
1
vote
2answers
176 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
344 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
334 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
316 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
2answers
597 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
449 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
138 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
568 views

$\lim_{n\to \infty}f(nx)=0$ implies $\lim_{x\to \infty}f(x)=0$

Can anyone help me with this problem? Let $f:[0,\infty)\longrightarrow \mathbb R$ be a continuous function such that for each $x>0$, we have $\lim_{n\to \infty}f(nx)=0$. Then prove that ...
11
votes
1answer
2k views

A classical problem about limit of continuous function at infinity and its connection with Baire Category Theorem

When I google "baire category theorem", I get a link to Ben Green's website. And at the end of the paper, he mentioned such a classic problem: Suppose that $f:\mathbb{R}^+\to\mathbb{R}^+$ is a ...
8
votes
2answers
720 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 ...
8
votes
1answer
194 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
2answers
548 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 ...
44
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?