Set: Difference between revisions
mNo edit summary |
|||
| (6 intermediate revisions by the same user not shown) | |||
| Line 69: | Line 69: | ||
== My email to Ray 03/27/25 == | == My email to Ray 03/27/25 == | ||
Ray | This essay was prompted by Ray's suggestion that I put my problem with the diagonal argument into writing. My problem is not really with the diagonal argument per se, it is with the more basic concept of sets. Rather than saying something negative about set theory as it stands today, I will offer something positive. Starting from scratch, I will sketch what I think a rational theory of sets would look like. | ||
My problem is not really with the diagonal argument per se, it is with the more basic concept of | |||
I | |||
=== What are sets(="groups")? === | === What are sets(="groups")? === | ||
The concept of "set" is getting at something similar to what Ayn Rand is getting at with the concept she calls "group" in ITOE. I think these two concepts are more or less interchangeable, though they have different connotations. For the purposes of this email, however, I will stick with the latter terminology of "group," because I want to emphasize that I am doing something independent of the way that mathematics has developed. (I don't want to stick with this terminology forever, though; I will start calling them "sets" again once I'm finished.) | The concept of "set" is getting at something similar to what Ayn Rand is getting at with the concept she calls "group" in ITOE. I think these two concepts are more or less interchangeable, though they have different connotations. For the purposes of this email, however, I will stick with the latter terminology of "group," because I want to emphasize that I am doing something independent of the way that mathematics has developed. (I don't want to stick with this terminology forever, though; I will start calling them "sets" again once I'm finished.) | ||
"Group" is a primary concept, which cannot be reduced to more basic concepts. However, I will provide the following ostensive definition.<blockquote>'''Definition'''. A ''group'' is some existents, considered together as a single whole. </blockquote>Groups are concepts of consciousness, and so they are relational. Groups are things out there, as viewed particular way by a particular man. | "Group" is a primary concept, which cannot be reduced to more basic concepts. However, I will provide the following ostensive definition.<blockquote>'''Definition'''. A ''group'' is some existents, considered together as a single whole. </blockquote>Groups are concepts of consciousness, and so they are relational. Groups are things out there, as viewed in a particular way by a particular man. | ||
Here is a (not necessarily exhaustive) list of some different types of groups that we might consider: | Here is a (not necessarily exhaustive) list of some different types of groups that we might consider: | ||
| Line 84: | Line 80: | ||
# "Discrete" groups that are finite, like the group of pencils on my desk, or the group of possible outcomes for the dice that I'm about to roll. | # "Discrete" groups that are finite, like the group of pencils on my desk, or the group of possible outcomes for the dice that I'm about to roll. | ||
# "Continuous" groups, like the group of all points on the south-facing wall of my room. | # "Continuous" groups, like the group of all points on the south-facing wall of my room. | ||
# Groups | # Groups of the units of concepts, like the group of all referents of "banana," or the group of all referents of "natural number." | ||
Standard mathematics conceptualizes 2 and 3 as ''infinite sets''. However, I disagree that those groups are actually infinite. I think their finiteness follows from the law of identity (every quantity must have ''some'' quantity), but that might not be very convincing as an argument. So to make my case, I will analyze the meaning of 2 and 3 more closely. | Standard mathematics conceptualizes 2 and 3 as ''infinite sets''. However, I disagree that those groups are actually infinite. I think their finiteness follows from the law of identity (every quantity must have ''some'' quantity), but that might not be very convincing as an argument to the uninitiated. So to make my case, I will analyze the meaning of 2 and 3 more closely. | ||
=== How many points are there on my wall? === | === How many points are there on my wall? === | ||
In some contexts, the concept of a point is used to identify a physical object. For example, one can easily identify a point in the picture below [TODO]. In other contexts, the concept of a point is used to identify a location whose only distinguishing characteristic is that it is the place where one is focusing one's attention, whether it be by literally "pointing" to that place (hence the name), by merely thinking of it, or by using some other means. | In some contexts, the concept of a point is used to identify a physical object. For example, one can easily identify a point in the picture below [TODO]. In other contexts, the concept of a point is used to identify a location whose only distinguishing characteristic is that it is the place where one is focusing one's attention, whether it be by literally "pointing" to that place (hence the name), by merely thinking of it, or by using some other means. | ||
We now see the subtlety with the idea of "the set of all points on O." | We may now see the subtlety with the idea of "the set of all points on O." Those points on O which are ''physical'' must necessarily have a finite size (otherwise we couldn't know about them in the first place), and so there can only be finitely many of them. As for those points on O which are non-physical, it is true that there is no limit on how many ''could'' exist. But since the concretes in question are merely things on which one is focusing, rather than physical objects in reality, they do not actually exist ''until someone focuses on them''. And a man can only ever focus on finitely many points of O. | ||
So | So regardless of which of those we mean by "point," we see that there are only finitely many points on my wall. | ||
=== How many natural numbers are there? === | === How many natural numbers are there? === | ||
| Line 114: | Line 110: | ||
=== Group membership === | === Group membership === | ||
As the above examples demonstrate, it is not always meaningful to ask "how many elements of this group are there?" But it ''is'' always meaningful to ask "is this thing a member of that group?" | As the above examples demonstrate, it is not always meaningful to ask "how many elements of this group are there?" But it ''is'' always meaningful to ask "is this thing a member of that group?" | ||
To express the statement that <math>x</math> is a member of the group <math>X</math>, I will use the shorthand notation <math>x : X</math>. (This is very similar to the set-theoretic judgement <math>x \in X</math>, but I shall use different notation to emphasize the difference between what I'm doing and set theory.) | |||
=== Functions === | === Functions === | ||
A function is something you could do. | Let <math>X</math> and <math>Y</math> be groups. A function <math>f : X \rightarrow Y</math> is a potential action, which, if performed on the same member <math>x</math> of <math>X</math>, would always produce the same member <math>f(x)</math> of <math>Y</math>. A function <math>f : X \rightarrow Y</math> is ''something you could do''. | ||
A "problem" with this way of thinking about functions is that sometimes indeed you are doing something with <math>x</math>, and producing a new thing <math>f(x)</math>, but sometimes you haven't actually produced a new thing, you're just thinking about <math>x</math> in a different way. For example, all men are mortal, so there should be a function from the group of all men to the group of all mortal beings. It is arguable, however, that these functions represent something you could do, but it's something you do in consciousness---they represent a change of perspective. You aren't doing anything to <math>x</math> itself, you're just looking at <math>x</math> differently. | |||
For an uncontroversial example of a function, it's totally fine to consider a function like the one <math>\mathbb{N} \rightarrow \mathbb{N}</math> that takes a natural number to its square. | |||
Another type of function, one without a clear mathematization, is a function which takes a length and doubles it. To be very clear about this, by a length I mean a literal property of an object, and not a number which measures that property. This function could be implemented in real life, e.g. given a line segment on a piece of paper, pull out an amount of string equal to that length, then use the string to extend that line segment by drawing a new line segment of equal length. Mainstream math models the above process as the function <math>\mathbb{R} \rightarrow \mathbb{R}</math> which sends <math>x \mapsto 2x</math>, but that's not quite right, because <math>\mathbb{R}</math> is a number (or at least, something akin to a number), and not the length itself. It is very common that mainstream math thinks of <math>\mathbb{R}</math> as "lengths as they actually are in reality." It conflates length with measurement of length. | |||
Is a function <math>\mathbb{R} \rightarrow \mathbb{R}</math> something you could do? It's not clear. What even are the elements of the group <math>\mathbb{R}</math>? The elements of <math>\mathbb{R}</math> are equivalence classes of Cauchy sequences, so those are two things we need to understand: equivalence classes, and Cauchy sequences. | |||
Cauchy sequences are functions <math>\mathbb{N} \rightarrow \mathbb{Q}</math>. Is a Cauchy sequence something you could do? Some of them are, like <math>\{ 1/n \}_{n=1}^\infty </math>, but some of them aren't, like <math>\{ 1/h_n \}_{n=1}^\infty</math> where <math>h_n = </math> "the number of steps the <math>n</math>th Turing machine takes to halt." And some of them are very bizarre, like <math>\{ a_n \}_{n=1}^\infty </math> where <math>a_n = </math> "the number of stars in the Milky Way of mass <math>\leq n</math> kilograms." | |||
Is it legitimate to talk about Cauchy sequences that are ''not'' something you could do? The answer of mainstream mathematics is a resounding "yes." My answer is a tentative "no": if it's not something which exists in reality, and it's not something which potentially could exist in reality, then your sequence doesn't refer to anything, and so it's meaningless. It's like talking about flying purple cats. The reason why my answer is ''tentative'' "no" is that sometimes we can learn things from impossible hypotheticals; sometimes they reveal things about the nature of our legitimate concepts. I don't want to police what sort of Cauchy sequences people can or cannot talk about, I just want to reorient math in the direction of reality. | |||
What is an equivalence class? Well that's actually quite simple. First let's consider fractions: 1/3 and 2/6 are the same ''fraction'', but they are different ''expressions''. A fraction is an equivalence class of expressions <math>p/q</math> involving two integers <math>p,q\in \mathbb{Z}</math> (where <math>q \neq 0</math>), and where the equivalence relation is that <math>p/q = r/s</math> if <math>ps = qr</math>. The concept of equivalence classes extends far beyond mathematics, to any concept which is a special case of another concept. The two copies of ''Conformal Field Theory'' (some physics textbook) in my office are different ''copies'', but they are the same ''book''. Now, given two Cauchy sequences <math>\{ 1/n \}_{n=1}^\infty </math> and <math>\{ 1/n^2 \}_{n=1}^\infty </math>, which mind you are two things---two processes---actually out there in reality, we say they are different qua ''sequence'', but they are the same qua ''real number''. Generally, given two Cauchy sequences <math>\{ a_n \}_{n=1}^\infty </math>and <math>\{ b_n \}_{n=1}^\infty </math>, we say regard them as equivalent if for any <math>\epsilon \in Q, </math> such that <math>\epsilon > 0</math>, there exists an <math>N_\epsilon \in \mathbb{N}</math> such that whenever <math>n \geq N</math>, <math>| a_n - b_n| < \epsilon </math>. | |||
So what real thing does <math>\mathbb{R}</math> refer to? It refers to a particular kind of potential action <math>\mathbb{N} \rightarrow \mathbb{Q}</math> (namely one that is "Cauchy"), from a particular perspective (namely the perspective from which two Cauchy sequences are the same if they are going to the same place). | |||
Now, how about functions <math>\mathbb{R} \rightarrow \mathbb{R}</math>? Well it's just something that takes a real number and sends it to a real number. If you think of the real number as a sequence <math>\{ a_n \}_{n=1}^\infty </math>, that's fine, but the function needs to be defined for <math>\{ a_n \}_{n=1}^\infty </math> qua real number rather than <math>\{ a_n \}_{n=1}^\infty </math> qua sequence. Again, this point is logical and not mathematical. We could consider a function from the group of all books to the group of all strings, e.g. which sends a book to its author; such a function can be defined on ''copies'' of books (like maybe your way of implementing it is: purchase a copy of the book and look at who the author of the copy is), but it must necessarily depend on the properties of the copy ''qua book'' rather than its properties ''qua copy''. For example, it can't depend on the physical location of the book. | |||
So, in conclusion, the answer to the question "Is a function <math>\mathbb{R} \rightarrow \mathbb{R}</math> something you could do?" is yes. But what sort of processes does it refer to in real life? Is it really practical? | |||
== Group formation rules [analogue of ZF] == | |||
A group doesn't have to be specified in a completely unambiguous way. In real life, there is no such thing. | |||
=== Axiom schema of specification === | |||
yeah it's fine to "form a group" according to a predicate. BUT | |||
1) you don't ''need'' a predicate in order to "form a group." It's totally fine to just say something like "the books on my bookshelf." | |||
2) any group formed via a predicate is necessarily a subgroup of another group. [todo maybe it's already like this?] | |||
I actually don't like the term "form a set." It's vague. Really what we're doing is we are ''identifying'' sets; we are pointing to some things in reality, and saying "that's a set." | |||
=== Axiom of extensionality === | |||
This one needs to be re-worked. Sameness / identity is a relative and contextual thing, not an absolute thing. Also, there need not be a practical way to check that all the members of a set are the same. | |||
Quotients / identity are actually what I have to think the most about. | |||
=== Axiom of choice === | |||
Bullshit. | |||
=== Axiom of infinity === | |||
Bullshit. | |||
=== Powerset axiom === | |||
I think this is true. If it wasn't true, then it wouldn't make sense to think of "A is a subset of B" as meaning "A is (a subset of B)." Like the noun phrase in parentheses wouldn't make sense. | |||
=== Other axioms === | |||
???? | |||
It's not true that for any rule, we can for | It's not true that for any rule, we can for | ||
Latest revision as of 23:23, 18 August 2025
"Set" is a concept referring to an irreducible primary, and therefore can only be defined ostensively. A circular way of defining set, which may nonetheless provide some insight, is that a set is a collection of similar existents, considered together as a whole.
I will say a word about why I specify that sets must consist of "similar" existents, because this idea is foreign to standard mathematics, wherein a set could consist of any existents whatsoever. First of all, similarity requires a context; things can be similar in one context, but dissimilar in another. And if, in a given context, two things are dissimilar, then there can be no reason---in that context---to consider them together as a single set. One therefore loses nothing by specifying that sets consist of "similar" existents. What one gains by this, on the other hand, is a small reminder about the purpose of sets.
Sets are sometimes called "groups" (e.g. in ITOE), but Objective Mathematics reserves that terminology for a different concept.
Examples
A set of plates.
[TODO more]
Empty set
An empty set (not "the" empty set; see below) is one way of viewing the concept of nothing. The concept of "nothing" may seem impossible or invalid. Concepts need to have referents, and yet everything is something; there is no thing which is nothing. How can this be? ITOE explains[1]
["Nothing"] is strictly a relative concept. It pertains to the absence of some kind of concrete. The concept “nothing” is not possible except in relation to “something.” Therefore, to have the concept “nothing,” you mentally specify—in parenthesis, in effect—the absence of a something, and you conceive of “nothing” only in relation to concretes which no longer exist or which do not exist at present.
You can say “I have nothing in my pocket.” That doesn’t mean you have an entity called “nothing” in your pocket. You do not have any of the objects that could conceivably be there, such as handkerchiefs, money, gloves, or whatever. “Nothing” is strictly a concept relative to some existent [sic] concretes whose absence you denote in this form.
Examples
If one has no books on one's table, it may be said that he has an empty set of books on his table.
If there are no more days left until March 3rd, 2055 (i.e. if it is currently March 3rd, 2055), then it may be said that the set of days until March 3rd is empty.
The traditional concept
In standard mathematics, there is supposed to be a single object called "the" empty set. Most sets in standard mathematics are not unique in this manner. The empty set is called "the" empty set because it is unique up to unique isomorphism. Of course, that imaginary object is not what Objective Mathematics means by the concept of an empty set.
Nevertheless, it is sometimes valid to use the phrase "the empty set" in Objective Mathematics. It is valid in the same sense that it is valid to say "the cat" or "the car." Namely, if one has a specific empty set in mind, and wishes to refer to that empty set and not another one, he may call it "the empty set."
Relations among sets
In this section, I will describe some relations[note 1] among sets. That is, I will describe ways in which some sets (possibly along with functions between them) can be used to identify[note 2] other sets. This list is non-exhaustive.
Disjoint union
Given two sets Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A = \{ a_1, \cdots, a_n\}} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B = \{ b_1, \cdots, b_m \}} , the disjoint union of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B} , denoted as Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A \sqcup B} , is following set Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A \sqcup B := \{ a_1, a_2,\cdots, a_n, b_1, b_2, \cdots, b_m \}. } [TODO this is an unsophisticated treatment, because it's not uniquely defined. E.g. I could have defined Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A \sqcup B := \{ (1,a_1), (2,a_2), \cdots, (n, a_n), (1, b_1), (2, b_2), \cdots, (m, b_m) \}} category theory says that what really defines these ideas is their universal properties. Could that have an OM interpretation?]
Examples
I have two piles of books on my table. Equivalently, I could say that I have identified two sets Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle P_1 := \{b_1, b_2, b_3\}} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle P_2 := \{a_1, a_2 \} } of books. Instead of regarding these as two distinct sets of books, I could regard them as a single set of books; instead of thinking of two piles of books on my table, I could think of all the books on my table. Equivalently, I could say that I have identified the set of all the books on my table,Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle P_1 \sqcup P_2 = \{ b_1, b_2, b_3, a_1, a_2\}.}
Cartesian product
Given two sets Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A = \{ a_1, \cdots, a_n\}} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B = \{ b_1, \cdots, b_m \}} , the cartesian product of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B} , denoted as Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A \times B} , is following set of pairs
Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A \times B := \{ (a_i, b_j) : 1 \leq i \leq n, 1 \leq j \leq m \}. } Examples
The power socket on my wall has two outlets; in other words, I've identified a set Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle O := \{o_1, o_2\}} of outlets. An outlet has three holes; in other words I've identified (abstractly) a set Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H := \{h_1, h_2, h_3\} } . Now, I can consider the set of all the holes in the power socket on my wall. It is Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle O \times H = \{ (o_1, h_1), (o_1, h_2), (o_1, h_3), (o_2, h_1), (o_2, h_2), (o_3, h_3) \}. }
Subset
Given a set Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A = \{a_1, \cdots, a_n\}} , a subset of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} is some of the units of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} , say Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_{i_1}, \cdots, a_{i_k} \in A } , considered as a single set Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B= \{ a_{i_1},\cdots, a_{i_k} \} } . We denote this by Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B \subset A} .
Powerset
Given a set Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A = \{a_1, \cdots, a_n\}} , the powerset of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} , denoted Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2^A} , is the set consisting of all subsets of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} , Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2^A := \{ B : B \subseteq A \}.} The reason for the notation is that the powerset may equivalently be defined as the set of all functions Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A \rightarrow 2} where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2} denotes the set Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2:= \{0,1\}} .
Partition
Given a set Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A = \{a_1, \cdots, a_n\}} , a partition of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} is a division of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} into (nonempty) disjoint subsets, such that the disjoint union of all the subsets is Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} .
A partition of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} is equivalent to an equivalence relation of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} . [TODO explain]
Infinite sets
Objective Mathematics says that infinite sets are an invalid notion. [TODO I actually don't think I should say this. A a concept is an unbounded or infinite set. If it wasn't, then there would be no such thing as the units of a concept.] In essence, this is because an infinite set does not refer to anything that can be perceived. Unsurprisingly, this disconnection from reality causes many derivative problems for infinite sets. The concept of Objective Mathematics which is closest to that of an infinite set is that of a concept.
The traditional concept
Standard mathematics says that a set Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} is infinite if there exist functions Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X \rightarrow X} which are injective but not surjective.
To demonstrate how absurd this is, and how much it conflicts with real-life, consider David Hilbert's thought experiment[2] about what it would be like if a hotel had infinitely many rooms. Suppose that there is an infinite hotel, where each room has a room number Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n : \mathbb{N}} . This hotel is completely full; every room is occupied. But unlike real hotels, if a new guest comes in and asks for a hotel room, the concierge can make room for him, even though the hotel is already full. The concierge need merely request that every hotel guest move to the room next door: if a guest's room number is Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} , he should move to room number Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n+1} . (This is the key step: here the concierge is applying a function which is injective but not surjective). After everyone changes rooms, the hotel has space, because room number 1 is no longer occupied. Note that all of the guests still have their same room.
But what about extended objects?
There are an unlimited number of points on an extended object. It may therefore seem like there should be, for any extended object O, such a thing as "the set of all points on O." Since there are unlimited number of points on O, doesn't that mean that there is an infinite set?
To see why that is wrong, we must examine more carefully what is meant by a point. In some contexts, the concept of a point is used to identify a physical object. For example, the reader can easily identify a point in this picture [TODO]. In other contexts, the concept of a point is used to identify a location whose only distinguishing characteristic is that it is the place where one is focusing one's attention. For an example, the reader should try to focus on one specific point on a blank and featureless area of his wall.
We may now see the subtlety with the idea of "the set of all points on O." There may be some points on O which are physical, i.e. points which can be perceptually distinguished from the rest of O. But in order for such points to be perceived, they must necessarily have a finite size, so there can only be finitely many of them. As for those points on O which are non-physical, it is true that there is no limit on how many could exist. But since the concretes in question are merely objects of one's focus, rather than objects in reality, they do not actually exist until one chooses to focus. And one can only ever focus on finitely many points of O. We have thus refuted the idea that there exist infinitely many points on O.
But what about all the practical infinite sets?
Standard mathematics makes use of infinite sets, and many of those infinite sets appear to be practical. Some examples are the set of all integers, the set of all fractions, infinite sequences, etc. Objective Mathematics accepts that integers, fractions, and sequences are concepts, and useful ones at that. But it denies that integers, fractions, etc. are infinite sets.
My email to Ray 03/27/25
This essay was prompted by Ray's suggestion that I put my problem with the diagonal argument into writing. My problem is not really with the diagonal argument per se, it is with the more basic concept of sets. Rather than saying something negative about set theory as it stands today, I will offer something positive. Starting from scratch, I will sketch what I think a rational theory of sets would look like.
What are sets(="groups")?
The concept of "set" is getting at something similar to what Ayn Rand is getting at with the concept she calls "group" in ITOE. I think these two concepts are more or less interchangeable, though they have different connotations. For the purposes of this email, however, I will stick with the latter terminology of "group," because I want to emphasize that I am doing something independent of the way that mathematics has developed. (I don't want to stick with this terminology forever, though; I will start calling them "sets" again once I'm finished.)
"Group" is a primary concept, which cannot be reduced to more basic concepts. However, I will provide the following ostensive definition.
Definition. A group is some existents, considered together as a single whole.
Groups are concepts of consciousness, and so they are relational. Groups are things out there, as viewed in a particular way by a particular man.
Here is a (not necessarily exhaustive) list of some different types of groups that we might consider:
- "Discrete" groups that are finite, like the group of pencils on my desk, or the group of possible outcomes for the dice that I'm about to roll.
- "Continuous" groups, like the group of all points on the south-facing wall of my room.
- Groups of the units of concepts, like the group of all referents of "banana," or the group of all referents of "natural number."
Standard mathematics conceptualizes 2 and 3 as infinite sets. However, I disagree that those groups are actually infinite. I think their finiteness follows from the law of identity (every quantity must have some quantity), but that might not be very convincing as an argument to the uninitiated. So to make my case, I will analyze the meaning of 2 and 3 more closely.
How many points are there on my wall?
In some contexts, the concept of a point is used to identify a physical object. For example, one can easily identify a point in the picture below [TODO]. In other contexts, the concept of a point is used to identify a location whose only distinguishing characteristic is that it is the place where one is focusing one's attention, whether it be by literally "pointing" to that place (hence the name), by merely thinking of it, or by using some other means.
We may now see the subtlety with the idea of "the set of all points on O." Those points on O which are physical must necessarily have a finite size (otherwise we couldn't know about them in the first place), and so there can only be finitely many of them. As for those points on O which are non-physical, it is true that there is no limit on how many could exist. But since the concretes in question are merely things on which one is focusing, rather than physical objects in reality, they do not actually exist until someone focuses on them. And a man can only ever focus on finitely many points of O.
So regardless of which of those we mean by "point," we see that there are only finitely many points on my wall.
How many natural numbers are there?
I gave two examples in 3: bananas, and natural numbers. I think everyone will agree that bananas
The following definition is adapted from a definition Harry gave:
A natural number is an identification of a quantity, by means of a symbol (a "numeral") whose position in a fixed sequence of those symbols is the same amount as that which is being identified.
I agree with this definition, and I have found it to be very clarifying.
Note the genus of "natural number": it is identification. Natural numbers are products of consciousness. So the
There are not infinitely many referents of "banana."
Things like 2 and 3 are what motivated infinite sets in mathematics. [TODO irrelevant delete]
One problem. Someone could ask: How many numbers are there? And the answer is: in whose mind? [TODO meh]
One problem: sets are being conceptualized as things which exist, rather than things which potentially could exist
Now, with examples like these in mind, let's ask: what fact of reality necessitates the finite / infinite distinction?
Group membership
As the above examples demonstrate, it is not always meaningful to ask "how many elements of this group are there?" But it is always meaningful to ask "is this thing a member of that group?"
To express the statement that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} is a member of the group Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} , I will use the shorthand notation Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x : X} . (This is very similar to the set-theoretic judgement Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x \in X} , but I shall use different notation to emphasize the difference between what I'm doing and set theory.)
Functions
Let Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Y} be groups. A function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f : X \rightarrow Y} is a potential action, which, if performed on the same member Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} , would always produce the same member Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x)} of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle Y} . A function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f : X \rightarrow Y} is something you could do.
A "problem" with this way of thinking about functions is that sometimes indeed you are doing something with Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} , and producing a new thing Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x)} , but sometimes you haven't actually produced a new thing, you're just thinking about Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} in a different way. For example, all men are mortal, so there should be a function from the group of all men to the group of all mortal beings. It is arguable, however, that these functions represent something you could do, but it's something you do in consciousness---they represent a change of perspective. You aren't doing anything to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} itself, you're just looking at Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} differently.
For an uncontroversial example of a function, it's totally fine to consider a function like the one Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{N} \rightarrow \mathbb{N}} that takes a natural number to its square.
Another type of function, one without a clear mathematization, is a function which takes a length and doubles it. To be very clear about this, by a length I mean a literal property of an object, and not a number which measures that property. This function could be implemented in real life, e.g. given a line segment on a piece of paper, pull out an amount of string equal to that length, then use the string to extend that line segment by drawing a new line segment of equal length. Mainstream math models the above process as the function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R} \rightarrow \mathbb{R}} which sends Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x \mapsto 2x} , but that's not quite right, because Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R}} is a number (or at least, something akin to a number), and not the length itself. It is very common that mainstream math thinks of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R}} as "lengths as they actually are in reality." It conflates length with measurement of length.
Is a function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R} \rightarrow \mathbb{R}} something you could do? It's not clear. What even are the elements of the group Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R}} ? The elements of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R}} are equivalence classes of Cauchy sequences, so those are two things we need to understand: equivalence classes, and Cauchy sequences.
Cauchy sequences are functions Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{N} \rightarrow \mathbb{Q}} . Is a Cauchy sequence something you could do? Some of them are, like Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{ 1/n \}_{n=1}^\infty } , but some of them aren't, like Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{ 1/h_n \}_{n=1}^\infty} where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle h_n = } "the number of steps the Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} th Turing machine takes to halt." And some of them are very bizarre, like Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{ a_n \}_{n=1}^\infty } where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_n = } "the number of stars in the Milky Way of mass Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \leq n} kilograms."
Is it legitimate to talk about Cauchy sequences that are not something you could do? The answer of mainstream mathematics is a resounding "yes." My answer is a tentative "no": if it's not something which exists in reality, and it's not something which potentially could exist in reality, then your sequence doesn't refer to anything, and so it's meaningless. It's like talking about flying purple cats. The reason why my answer is tentative "no" is that sometimes we can learn things from impossible hypotheticals; sometimes they reveal things about the nature of our legitimate concepts. I don't want to police what sort of Cauchy sequences people can or cannot talk about, I just want to reorient math in the direction of reality.
What is an equivalence class? Well that's actually quite simple. First let's consider fractions: 1/3 and 2/6 are the same fraction, but they are different expressions. A fraction is an equivalence class of expressions Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle p/q} involving two integers Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle p,q\in \mathbb{Z}} (where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle q \neq 0} ), and where the equivalence relation is that Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle p/q = r/s} if Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ps = qr} . The concept of equivalence classes extends far beyond mathematics, to any concept which is a special case of another concept. The two copies of Conformal Field Theory (some physics textbook) in my office are different copies, but they are the same book. Now, given two Cauchy sequences Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{ 1/n \}_{n=1}^\infty } and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{ 1/n^2 \}_{n=1}^\infty } , which mind you are two things---two processes---actually out there in reality, we say they are different qua sequence, but they are the same qua real number. Generally, given two Cauchy sequences Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{ a_n \}_{n=1}^\infty } and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{ b_n \}_{n=1}^\infty } , we say regard them as equivalent if for any Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \epsilon \in Q, } such that , there exists an Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_\epsilon \in \mathbb{N}} such that whenever Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n \geq N} , Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle | a_n - b_n| < \epsilon } .
So what real thing does Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R}} refer to? It refers to a particular kind of potential action Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{N} \rightarrow \mathbb{Q}} (namely one that is "Cauchy"), from a particular perspective (namely the perspective from which two Cauchy sequences are the same if they are going to the same place).
Now, how about functions Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R} \rightarrow \mathbb{R}} ? Well it's just something that takes a real number and sends it to a real number. If you think of the real number as a sequence Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{ a_n \}_{n=1}^\infty } , that's fine, but the function needs to be defined for Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{ a_n \}_{n=1}^\infty } qua real number rather than Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{ a_n \}_{n=1}^\infty } qua sequence. Again, this point is logical and not mathematical. We could consider a function from the group of all books to the group of all strings, e.g. which sends a book to its author; such a function can be defined on copies of books (like maybe your way of implementing it is: purchase a copy of the book and look at who the author of the copy is), but it must necessarily depend on the properties of the copy qua book rather than its properties qua copy. For example, it can't depend on the physical location of the book.
So, in conclusion, the answer to the question "Is a function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R} \rightarrow \mathbb{R}} something you could do?" is yes. But what sort of processes does it refer to in real life? Is it really practical?
Group formation rules [analogue of ZF]
A group doesn't have to be specified in a completely unambiguous way. In real life, there is no such thing.
Axiom schema of specification
yeah it's fine to "form a group" according to a predicate. BUT
1) you don't need a predicate in order to "form a group." It's totally fine to just say something like "the books on my bookshelf."
2) any group formed via a predicate is necessarily a subgroup of another group. [todo maybe it's already like this?]
I actually don't like the term "form a set." It's vague. Really what we're doing is we are identifying sets; we are pointing to some things in reality, and saying "that's a set."
Axiom of extensionality
This one needs to be re-worked. Sameness / identity is a relative and contextual thing, not an absolute thing. Also, there need not be a practical way to check that all the members of a set are the same.
Quotients / identity are actually what I have to think the most about.
Axiom of choice
Bullshit.
Axiom of infinity
Bullshit.
Powerset axiom
I think this is true. If it wasn't true, then it wouldn't make sense to think of "A is a subset of B" as meaning "A is (a subset of B)." Like the noun phrase in parentheses wouldn't make sense.
Other axioms
????
It's not true that for any rule, we can for
One criticism that someone might have is like
"okay yeah fine infinite sets don't exist. But they're getting at something real, so what's the actual practical problem that arises from using them anyway?" I don't need to answer that criticism in this essay.
That's a reasonable question to ask.
In this section I will argue that
I will say that a set Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X} is infinite if there exists a function Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f : X \rightarrow X} which is injective but not surjective.
Hmm that's actually a very interesting definition.
Practically speaking, there actually are things like that. Like imagine if f is sort of like, a machine that takes in bananas and plants them and makes new bananas
Like imagine we're homesteading the Wild West. The Wild West is finite, but it's so unfathomably large that we don't actually have to worry about running out of room, even though we aren't building any houses in the exact same spot.