Showing Dense G_δ-Subspace of Baire Space is a Baire Space

  • Thread starter Lie
  • Start date
  • Tags
    Space
In summary, to show that every dense G_\delta-subspace of a Baire space is a Baire space, we use the properties of Baire spaces and completely regular spaces to show that a dense G_\delta-subspace is also a Baire space.
  • #1
Lie
15
0
Hello!

Does anyone have any idea how to show that every dense [tex]G_\delta[/tex]-subspace of a Baire space is a Baire space?

Grateful.
 
Physics news on Phys.org
  • #2
Lie said:
Hello!

Does anyone have any idea how to show that every dense [tex]G_\delta[/tex]-subspace of a Baire space is a Baire space?

Grateful.

I did it! ;)
 
  • #3
Hi there! Yes, I can help with that. First, let's define some terms for clarity. A Baire space is a topological space in which the intersection of countably many dense open sets is still dense. A dense G_\delta-subspace is a subspace that is both dense and a countable intersection of open sets (G_\delta stands for countable intersection of open sets in Greek).

Now, to show that every dense G_\delta-subspace of a Baire space is a Baire space, we can use the fact that Baire spaces are also completely regular. This means that for any closed set C and any point x not in C, there exists a continuous function f such that f(x) = 0 and f(C) = {1}.

So, let's take a dense G_\delta-subspace, call it Y, of a Baire space X. Since Y is dense, it intersects every open set in X. Now, let C be a closed set in Y and x be a point not in C. By the definition of a Baire space, there exists a countable intersection of open sets in X, call it U, such that U ∩ Y is still dense in Y. Since Y is a G_\delta-subspace, U ∩ Y is also a G_\delta-subspace of Y.

Now, using the completely regular property of Baire spaces, there exists a continuous function f: Y → [0,1] such that f(x) = 0 and f(U ∩ Y) = {1}. Since U ∩ Y is dense in Y, f(Y) = [0,1].

But since Y is a G_\delta-subspace, it is also closed in itself. Therefore, f(Y) is a closed subset of [0,1]. This means that f(Y) is also a Baire space, since it is a closed subset of a Baire space.

In conclusion, we have shown that every dense G_\delta-subspace of a Baire space is a Baire space by using the properties of Baire spaces and completely regular spaces. I hope this helps! Let me know if you have any further questions.
 

1. What is a "dense G_δ-subspace"?

A dense G_δ-subspace is a subset of a topological space that is both dense (contains points arbitrarily close to any given point) and a G_δ-set (can be expressed as a countable intersection of open sets).

2. What is the Baire space?

The Baire space is a topological space that is frequently used in mathematical analysis and set theory. It is denoted by the symbol ℕℕ and is the set of all infinite sequences of natural numbers, with the topology generated by the basic open sets of the form {x ∈ ℕℕ : xn = an}, where each an is a natural number.

3. How do you show that a dense G_δ-subspace of the Baire space is a Baire space?

To show that a dense G_δ-subspace of the Baire space is a Baire space, we need to prove that it is a topological space, that it is a G_δ-set, and that it is dense in itself. This can be done by constructing a countable collection of open sets that cover the subspace and showing that their intersection is dense in the subspace.

4. Why is the fact that a dense G_δ-subspace of the Baire space is a Baire space important?

This fact has important implications in mathematical analysis and topology. It allows us to study properties of Baire spaces in a more general setting, as many important results and theorems in these fields rely on the Baire category theorem, which states that a complete metric space is a Baire space.

5. Are there other examples of spaces that are both dense G_δ-subspaces and Baire spaces?

Yes, there are many examples of spaces that are both dense G_δ-subspaces and Baire spaces, including the real numbers, the complex numbers, and the Cantor space. In general, any complete metric space is also a Baire space and can be viewed as a dense G_δ-subspace of itself.

Similar threads

I Using the Baire Category theorem
    • Topology and Analysis
Replies
2
Views
2K
I Baire Category Theorem: Question About Countable Dense Open Sets
    • Topology and Analysis
Replies
3
Views
2K
I Homeomorphism linear subspace
    • Topology and Analysis
Replies
8
Views
458
A Baire Category Theorem .... Stromberg, Theorem 3.55 .... ....
    • Topology and Analysis
Replies
5
Views
3K
Lipschitz function and Baire Category Theorem
    • Topology and Analysis
Replies
4
Views
4K
A Integrability along a Hilbert space?
    • Topology and Analysis
Replies
16
Views
2K
I Help Solve Munkres Question: Limit Point Compact Subspace in Hausdorff Space
    • Topology and Analysis
Replies
8
Views
2K
Application of Baire category theorem
    • Calculus and Beyond Homework Help
Replies
8
Views
2K
I Dense set equivalent definitions
    • Topology and Analysis
Replies
5
Views
2K
MHB Every Closed Set in R has a Countable Dense Subset
    • Topology and Analysis
Replies
7
Views
3K

Hot Threads

Recent Insights

Back
Top