Results 1 to 6 of 6

Math Help - Two set theory questions

  1. #1
    Junior Member
    Joined
    Nov 2009
    Posts
    25

    Two set theory questions

    1) Prove that there is no function f with domain ω such that f (n+) ∈ f (n) for all n ∈ ω. [Hint: apply the Axiom of Foundation to ran f .] Deduce that, for any set x, it is false that x ∈ x.

    2) Prove, using the Principle of Induction and the fact that each n ∈ ω is a transitive set, that n ∈ n is false for every natural number n.

    Presumably, the idea in the first question is to show that if it were the case that there were such a function, then the range of f would contradict the axiom of Foundation, but I'm not entirely sure how to do the details.

    Any help would be greatly appreciated. Many thanks.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Banned
    Joined
    Oct 2009
    Posts
    4,261
    Thanks
    2
    Quote Originally Posted by KSM08 View Post
    1) Prove that there is no function f with domain ω such that f (n+) ∈ f (n) for all n ∈ ω. [Hint: apply the Axiom of Foundation to ran f .] Deduce that, for any set x, it is false that x ∈ x.

    2) Prove, using the Principle of Induction and the fact that each n ∈ ω is a transitive set, that n ∈ n is false for every natural number n.

    Presumably, the idea in the first question is to show that if it were the case that there were such a function, then the range of f would contradict the axiom of Foundation, but I'm not entirely sure how to do the details.

    Any help would be greatly appreciated. Many thanks.
    Rewrite the question and PREVIEW it to check it comes right. The way you wrote it can't be understood properly.

    Tonio
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Nov 2009
    Posts
    25
    Which part can't be understood?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Banned
    Joined
    Oct 2009
    Posts
    4,261
    Thanks
    2
    Quote Originally Posted by KSM08 View Post
    Which part can't be understood?

    For example this: f (n+) ∈ f (n) what is that little square between f(n+) and f(n)?

    Tonio
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Junior Member
    Joined
    Nov 2009
    Posts
    25
    I see what's happened- the symbols are displayed on my screen, but clearly not on everyone's... I thought I couldn't see what the problem was...

    In normal language, the questions are:

    1) Prove that there is no function f with domain ω (omega) such that f (n+) is a member of f (n) for all n in ω (omega). Deduce that, for any set x, it is false that x is a member of itself. (where n+ is the sucessor of n)

    2) Prove, using the Principle of Induction and the fact that each n in ω (omega) is a transitive set, that the statement "n is a member of itself" is false for every natural number n. (i.e. prove without using the Axiom of Foundation)

    Sorry for the confusion.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Senior Member
    Joined
    Feb 2010
    Posts
    466
    Thanks
    4
    Do you still want help with this?

    What steps have you taken toward proofs of these?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Questions on set theory
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: January 16th 2010, 08:19 PM
  2. Set theory questions
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: September 27th 2009, 03:15 PM
  3. Ring theory, some questions...
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: February 21st 2009, 12:27 AM
  4. set theory questions
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: June 23rd 2008, 07:04 AM
  5. Theory questions
    Posted in the Business Math Forum
    Replies: 1
    Last Post: September 28th 2006, 06:46 PM

Search Tags


/mathhelpforum @mathhelpforum