Proof by Induction: Closure of Union = Union of Closures

  • Thread starter Thread starter Bachelier
  • Start date Start date
  • Tags Tags
    Induction Proof
Bachelier
Messages
375
Reaction score
0
Is it a solid proof to show that the closure of a union equals the union of the closures of the sets via induction?
 
Physics news on Phys.org
Bachelier said:
Is it a solid proof to show that the closure of a union equals the union of the closures of the sets via induction?

How can we possibly know if your proof is valid if you don't show us your proof? Still, I'm not entirely sure why you would use induction here. Are you only considering the union of finitely many sets?
 
A proof is a proof no matter if you use induction or some direct method as long as the logic of each step is impeccable.

There are some math purists who disdain induction proofs for some theorems and prefer other styles of proof but that's beyond my math understanding to explain here:

http://en.wikipedia.org/wiki/Brouwer–Hilbert_controversy
 
Number Nine said:
How can we possibly know if your proof is valid if you don't show us your proof? Still, I'm not entirely sure why you would use induction here. Are you only considering the union of finitely many sets?

Yes of course. I'm talking about finite sets. I found a different way to prove it though. But the proof by induction crossed my mind.

I should work it out some time and post it here. It seems feasible.
 
jedishrfu said:
A proof is a proof no matter if you use induction or some direct method as long as the logic of each step is impeccable.

There are some math purists who disdain induction proofs for some theorems and prefer other styles of proof but that's beyond my math understanding to explain here:

http://en.wikipedia.org/wiki/Brouwer–Hilbert_controversy

great article. Thanks
 
Hello! There is a simple line in the textbook. If ##S## is a manifold, an injectively immersed submanifold ##M## of ##S## is embedded if and only if ##M## is locally closed in ##S##. Recall the definition. M is locally closed if for each point ##x\in M## there open ##U\subset S## such that ##M\cap U## is closed in ##U##. Embedding to injective immesion is simple. The opposite direction is hard. Suppose I have ##N## as source manifold and ##f:N\rightarrow S## is the injective...

Similar threads

Back
Top