Results 1 to 2 of 2

Math Help - Freely Generated Sets?

  1. #1
    Newbie
    Joined
    Mar 2009
    From
    Plymouth
    Posts
    12

    Freely Generated Sets?

    Having missed a lecture on Recursive Definitions of Sets and Functions, I got the lecture notes online to catch up, but keep coming across freely generated sets, with no explanation of what they are. Can anybody please give me a definition of a freely generated set?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Nov 2008
    Posts
    394
    Quote Originally Posted by ft_fan View Post
    Having missed a lecture on Recursive Definitions of Sets and Functions, I got the lecture notes online to catch up, but keep coming across freely generated sets, with no explanation of what they are. Can anybody please give me a definition of a freely generated set?
    If C is freely generated from B using f and g, then there are some conditions to satisfy. Besides that C is generated from B using f and g, the restrictions f|C and g|C of f and g to C should meet the following conditions:

    1. f|C and g|C are one-to-one.
    2. The range of f|C, the range of g|C, and the set B are pairwise disjoint.

    Examples.
    (a) The integers are generated from {0} by the successor and predecessor operations but not freely generated. (Check the range of each operation)
    (b) B={0} with the successor operation. Then C is the set of natural numbers. Since the succesor operation is one-to-one and 0 is not in its range, C is freely generated from {0} by the successor operation.
    (c) The wff are freely generated from the sentence symbols by the formula building operations( negation, conjunction, disjunction, conditional, and biconditional operations).

    The recursion theorem says that if C is freely generated, then a function h on B always has an extension \bar{h} on C. In other words, any map h of B into V can be extended to a homomorphism \bar{h} from C into V.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 2
    Last Post: December 18th 2011, 10:00 AM
  2. Generated Ideals
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: March 25th 2010, 04:32 AM
  3. How is this sequence generated please?
    Posted in the Algebra Forum
    Replies: 2
    Last Post: March 21st 2010, 01:38 PM
  4. S_n generated by two elements
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: January 1st 2010, 05:36 AM
  5. generated space.
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: October 17th 2009, 02:20 PM

Search Tags


/mathhelpforum @mathhelpforum