Completely normal space problem

In summary, the homework statement is suspiciously easy. One must show that X is completely normal if and only if for every pair of separated sets A, B in X, there exist disjoint open sets containing them. The Attempt at a Solution provides an open set containing B and disjoint from A.
  • #1
radou
Homework Helper
3,149
8

Homework Statement



Again, this one seems suspiciously easy, so I'd like to check if I'm missing something.

One needs to show that X is completely normal iff for every pair of separated sets A, B in X (i.e. sets such that both Cl(A) and B, and A and Cl(B) are disjoint), there exist disjoint open sets containing them.

The Attempt at a Solution



<==

Let S be a subspace of X, and take disjoint closed subsets A, B of X. It follows that they are separated, so from the hypothesis it follows that they have disjoint open neighborhoods containing them. Hence S is normal.

==>

Let A and B be two separated subsets of X. Since X\Cl(B) is open, and contains all of A, for any a in A there is a neighborhood U of a disjoint from B. A is contained in the union of these neighborhoods, and this union is open and disjoint from B, and contains A. Do this for the set B, and you get an open set containing B and disjoint from A.

But I smell this is not true, since I didn't use the fact that X is completely normal here.
 
Physics news on Phys.org
  • #2
radou said:
Do this for the set B, and you get an open set containing B and disjoint from A.


Hmm, I don't think it's obvious you can also do this for the set B...
 
  • #3
Sorry of the above post. Of course you can do this for the set B. But there is a problem. Let U be the open set containing A and disjoint from B. Let V be the open set containing B and disjoint from A. You don't necessariliy have that U and V are disjoint. And I do think you want that...
 
  • #4
Why not? If we look at X\Cl(A), for any element of B we can find a neighborhood dosjoint from Cl(A), not?
 
  • #5
micromass said:
Sorry of the above post. Of course you can do this for the set B. But there is a problem. Let U be the open set containing A and disjoint from B. Let V be the open set containing B and disjoint from A. You don't necessariliy have that U and V are disjoint. And I do think you want that...

Ahhh, of course! I should have realized this immediately! It is even pointed out in the proof of Theorem 32.1 :)
 
  • #6
Hint: follow the hint :smile:
 
  • #7
I think I've got it, but it seems a bit to easy. :)

Since X is completely normal, X\(Cl(A)[tex]\cap[/tex]Cl(B)) is normal. Cl(A) and Cl(B) are closed in this subspace, since they equal the intersection of closed sets with that subspace. So it follows directly that A and B have disjoint open neighborhoods.
 
  • #8
Actually, to be more precise, Cl(A)[tex]\cap[/tex](X\(Cl(A)[tex]\cap[/tex]Cl(B))) and Cl(B)[tex]\cap[/tex](X\(Cl(A)[tex]\cap[/tex]Cl(B))) are closed in X\(Cl(A)[tex]\cap[/tex]Cl(B)).
 
  • #9
Hmm, you seem to be correct, but there are some things bothering me

Using the normality of [tex]X\setminus (Cl(A)\cap Cl(B))[/tex] gives you open sets U and V of
[tex]Cl(A)\setminus (Cl(A)\cap Cl(B))[/tex] and [tex]Cl(B)\setminus (Cl(A)\cap Cl(B))[/tex]. But it is not immediately obvious that they are also open sets of A and B.
You'll need to give an argument why [tex]A\subseteq Cl(A)\setminus (Cl(A)\cap Cl(B))[/tex]. It is here that you use the hypothesis.
 
  • #10
The sets I found are open in our subspace Y = X\(Cl(A)[tex]\cap[/tex]Cl(B)). Since Y is open in X, our sets must be open in X. Y contains both A and B. So do Cl(A)[tex]\cap[/tex]Y and Cl(B)[tex]\cap[/tex]Y. And so do the sets I found. Perhaps I misunderstood you in the last post, but I don't see where I'm wrong.
 
  • #11
Nono, you're completely correct. But it's common practice for math proofs to state where you use the hypotheses. And I just don't see where you use that A and B are separated sets.
It's not that there's anything wrong with the proof:biggrin:
 
  • #12
Yes, you're right, I should have been a bit more precise. Since A is in X\Cl(B), it is in Y, too. The same holds for B. Here I used the fact that A and B are separated.

It's interesting that I spent about one hour thinking about this problem yesterday, and today I solved it immediately. It turns out to be almost trivial!
 
  • #13
Hmm, that happens to me a lot to. Sometimes I think for days about problems. And when I finally find it, it seems to be almost trivial. It's not very encouraging:biggrin:
 
  • #14
Haha, now that you say that, it turns out to be quite encouraging for me, since I'm no mathematician, at least not by profession :biggrin:

Thanks for the help, as always.
 

What is a "Completely normal space problem"?

A "Completely normal space problem" refers to a hypothetical situation in which a space or environment is free from any significant disturbances or abnormalities, making it an ideal setting for scientific experiments or observations.

How is a "Completely normal space problem" created or achieved?

A "Completely normal space problem" can be created or achieved through various means, such as isolating a controlled environment, minimizing external influences, or using advanced technology to filter out disturbances.

What are the benefits of studying a "Completely normal space problem"?

The benefits of studying a "Completely normal space problem" include being able to conduct precise and accurate experiments, obtaining reliable data, and gaining a better understanding of natural phenomena without any confounding factors.

What are some challenges or limitations of studying a "Completely normal space problem"?

Some challenges or limitations of studying a "Completely normal space problem" may include the high cost and technical complexity of creating such an environment, the potential for human error or equipment malfunction, and the difficulty of replicating real-world conditions.

Can a "Completely normal space problem" exist in real life?

While it may be difficult to achieve a completely normal space in the real world, scientists continue to strive for creating controlled and controlled environments to study and understand various phenomena. However, there will always be some level of disturbance or variability in any space, making it impossible to achieve a truly "completely normal" state.

Similar threads

  • Calculus and Beyond Homework Help
Replies
3
Views
843
  • Calculus and Beyond Homework Help
Replies
12
Views
1K
  • Calculus and Beyond Homework Help
Replies
2
Views
709
  • Calculus and Beyond Homework Help
Replies
5
Views
1K
  • Calculus and Beyond Homework Help
Replies
5
Views
851
  • Calculus and Beyond Homework Help
Replies
20
Views
2K
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
4
Views
1K
  • Calculus and Beyond Homework Help
Replies
12
Views
1K
  • Calculus and Beyond Homework Help
Replies
11
Views
1K
Back
Top