Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math

Topic: Induction beyond finities
Replies: 1   Last Post: Mar 5, 2013 6:46 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Kaba

Posts: 289
Registered: 5/23/11
Induction beyond finities
Posted: Mar 5, 2013 6:15 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Hi,

Is it possible to somehow generalize induction so one-piece-at-a-time
proofs would generalize to all sets?

Here's an example:

Let V be a non-degenerate symmetric bilinear space over F. I have
managed to prove that if V is finite-dimensional, then V has an
orthogonal basis. This proof uses induction: the idea is to take one
vector at a time, and reduce to smaller problems.

But such a theorem seems disappointing, since for vector spaces I can
prove that every vector space has a basis, by assuming the axiom of
choice (well, Zorn's lemma). I would like to prove that every such V has
an orthogonal basis (I don't actually know whether that is true or not).
Can the above proof be saved by some generalized induction, or does a
possible proof have to be modified to a form where I can apply Zorn's
lemma (or equivalent)?

--
http://kaba.hilvi.org



Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.