What are the domain and range of this function?

In summary, the conversation discusses the definition of a function that maps a well-ordered set to its least element and its domain and range, which are classes rather than sets. The difference between classes and sets is also mentioned, with classes being a generalization of sets and having similar properties but not always existing as sets. The possibility of defining functions between classes is also brought up, with the need for careful consideration due to the complexities involved.
  • #1
StatusX
Homework Helper
2,570
2
Say I define a function f by sending a well ordered set X to the least element in X. For example, if N is the natural numbers with the usual ordering, then f(N)=1. This function seems to be well defined. I guess its domain is the set of well ordered sets, but this sounds strange. Whats even stranger is the range. What could this possibly be? The union of all well ordered sets?
 
Physics news on Phys.org
  • #2
At the very least you have the power set of the natural numbers in the domain, but I don't really know enough to say if there are other sets in that union or not.
 
  • #3
It's domain is the class {(X,<) | X is a set and < is a well-order on X}. This is a class, not a set. The range is the universe (everything), which is also a class, not a set.
 
  • #4
So what exactly is the difference between classes and sets? Apparently you can define functions between classes as with sets. Is there anything you can't do with them?
 
  • #5
How can you define a function between classes? The definition of a function is that its domain is a set. So what you've defined is not an honest to goodness function.

It takes some care, I imagine, to actually rigorously define a generalization of function to the case of classes.

Well, you might - I care about categories so we tend to sidestep the issue.
 
  • #6
Every set is a class, but not vice versa. In set theory, sets exists always but classes, in general, do not. For example, the class of sets that aren't members of themselves does not exist as a set, for it would lead to contradictions. In set theory functions are, in general, classes of ordered pairs (you're probably familiar with this). "Reasonable" functions are not only classes of ordered pairs, but sets of ordered pairs. The function you're describing is merely a class of ordered pairs. If X denotes a class, you can do most things with X that you could do with a set. You can make true statements like [itex]x \in X[/itex] for some set x, you can talk about the union of X (that is, the union of the sets in X), the intersection of X (that is, the intersection of the sets in X), subclasses of X, the powerset of X, etc. but there's no guarantee that any of these classes you get are sets. The only thing you can't do is say [itex](\exists y)(y = X)[/itex].
 
  • #7
matt grime said:
How can you define a function between classes? The definition of a function is that its domain is a set.
That's not what it says in my text. My text simply says that f is a function iff everything in f is an ordered pair, and if (x,y) and (x,z) are ordered pairs in f, then y=z.
 
  • #8
And this requires you to define ordered pairs of classes. My point was that I would imagine there is some care required to do properly all of these things that the OP would normally define as set constructions: ordered pairs, element comparison and so on.
 
Last edited:

1. What is a domain?

The domain of a function is the set of all possible input values, or independent variables, for a given function. It represents the values for which the function is defined and can take on.

2. How is the domain represented?

The domain is usually represented by the symbol "x" or as an interval on the x-axis in a graph. It can also be written in set notation, such as {x | x is a real number}.

3. What is a range?

The range of a function is the set of all possible output values, or dependent variables, for a given function. It represents the values that the function can produce.

4. How is the range represented?

The range is usually represented by the symbol "y" or as an interval on the y-axis in a graph. It can also be written in set notation, such as {y | y is a real number}.

5. Why is it important to know the domain and range of a function?

Knowing the domain and range of a function is important because it helps to understand the behavior and limitations of the function. It also helps to identify any potential errors or undefined values in the function.

Similar threads

  • Precalculus Mathematics Homework Help
Replies
3
Views
510
  • Set Theory, Logic, Probability, Statistics
Replies
5
Views
109
Replies
6
Views
820
  • Precalculus Mathematics Homework Help
Replies
15
Views
526
  • Precalculus Mathematics Homework Help
Replies
11
Views
324
  • Precalculus Mathematics Homework Help
Replies
7
Views
277
  • Precalculus Mathematics Homework Help
Replies
2
Views
937
  • Set Theory, Logic, Probability, Statistics
Replies
7
Views
796
  • Precalculus Mathematics Homework Help
Replies
22
Views
868
Replies
4
Views
825
Back
Top