Identity - Revision history

Lfox at 02:18, 10 February 2025

2025-02-10T02:18:34Z

← Older revision		Revision as of 02:18, 10 February 2025
Line 21:		Line 21:

	Although the mathematical expressions in the former and latter judgments are both perfectly precise, the English words used in the latter judgement ("the same") are more precise than those used in the former judgment ("similar"). Indeed, many real-life "similarity" relations are not equivalence relations, because do not satisfy the transitivity axiom. For example, light of wavelength 400nm (purple) is similar to light of 401nm (also purple), and 401nm light is similar to 402nm light, and so on; but light of wavelength 600nm (orange) is not similar to light of 400nm (purple), even though we can connect it by a chain of "similarity" to 400nm light.		Although the mathematical expressions in the former and latter judgments are both perfectly precise, the English words used in the latter judgement ("the same") are more precise than those used in the former judgment ("similar"). Indeed, many real-life "similarity" relations are not equivalence relations, because do not satisfy the transitivity axiom. For example, light of wavelength 400nm (purple) is similar to light of 401nm (also purple), and 401nm light is similar to 402nm light, and so on; but light of wavelength 600nm (orange) is not similar to light of 400nm (purple), even though we can connect it by a chain of "similarity" to 400nm light.

			It is preferable to be in a situation where one can think of things as being ''the same'' rather than ''similar'', because the former judgement is ''binary'' and the latter judgement is ''analog''. In the context of computing, it is well-known that analog processes accumulate errors to a much greater extent than digital ones, and a similar principle holds in epistemology. This is another perspective on what I said in the previous paragraph, regarding the wavelength of light.

	=== Real-life examples of equivalence relations ===		=== Real-life examples of equivalence relations ===

Lfox at 02:12, 10 February 2025

2025-02-10T02:12:34Z

← Older revision		Revision as of 02:12, 10 February 2025
Line 1:		Line 1:
	'''Identity''' is a primary, axiomatic concept. It refers to the "this"-ness of an object, ~~the fact that it is~~ this and not that.		'''Identity''' is a primary, axiomatic concept. It refers to the "this"-ness of an object, its quality of being ''this'' and not ''that''.

	All identification is conceptual identification. To identify something		All identification is conceptual identification. To identify something

Lfox: /* Equivalence relations */

2025-02-09T22:43:40Z

Equivalence relations

← Older revision		Revision as of 22:43, 9 February 2025
Line 10:		Line 10:
	Things can be identical in some respects, but not others. Standard mathematics formalizes this idea as follows.		Things can be identical in some respects, but not others. Standard mathematics formalizes this idea as follows.

	Let <math>S</math> be a set. An ''equivalence relation'' is a relation <math>\sim </math> on <math>S</math> satisfying three axioms. For any <math>a,b,c\in S</math>,		Let <math>S</math> be a set. An '''equivalence relation''' is a relation <math>\sim </math> on <math>S</math> satisfying three axioms. For any <math>a,b,c\in S</math>,

	# (Reflexivity) <math>a \sim a</math>,		# (Reflexivity) <math>a \sim a</math>,

Lfox at 20:42, 9 February 2025

2025-02-09T20:42:01Z

← Older revision		Revision as of 20:42, 9 February 2025
Line 1:		Line 1:
	'''Identity''' is a primary, axiomatic concept. It refers to the "this"-ness of an object, the fact that it is this and not that.		'''Identity''' is a primary, axiomatic concept. It refers to the "this"-ness of an object, the fact that it is this and not that.

	Mathematics conceptualizes identity using the equals ("=") symbol.		All identification is conceptual identification. To identify something

			[TODO] "this (c) is a cow (C)" is in my notation <math>c : C </math>. "cows (C) are animals (A)" is in my notation <math>C : A </math>.

			Mathematics conceptualizes identity using the equals ("=") symbol.

	== Equivalence relations ==		== Equivalence relations ==
	Things can be identical in some respects, but not others.		Things can be identical in some respects, but not others. Standard mathematics formalizes this idea as follows.

	Standard mathematics formalizes this idea as follows.

	Let <math>S</math> be a set. An ''equivalence relation'' is a relation <math>\sim </math> on <math>S</math> satisfying three axioms. For any <math>a,b,c\in S</math>,		Let <math>S</math> be a set. An ''equivalence relation'' is a relation <math>\sim </math> on <math>S</math> satisfying three axioms. For any <math>a,b,c\in S</math>,
Line 14:		Line 16:
	# (Transitivity) If <math>a \sim b</math> and <math>b \sim c</math>, then <math>a \sim c</math>.		# (Transitivity) If <math>a \sim b</math> and <math>b \sim c</math>, then <math>a \sim c</math>.

	If <math>a \in S</math>, we ~~denote~~ the ''equivalence class'' of <math>a</math> to be the set <math>[a] := \{ b \in S : b \sim a \} </math>. Define the ''quotient'' of <math>S</math> by the equivalence relation <math>\sim </math>, or <math>S/\sim</math>, as the set of all equivalence classes of elements in <math>S</math>.		If <math>a \in S</math>, we define the ''equivalence class'' of <math>a</math> to be the set <math>[a] := \{ b \in S : b \sim a \} </math>. Note that if <math>a \sim b</math>, then <math>[a] = [b]</math>. Define the ''quotient'' of <math>S</math> by the equivalence relation <math>\sim </math>, or <math>S/\sim</math>, as the set of all (distinct) equivalence classes of elements in <math>S</math>, i.e. <math>S/\sim \ := \{ [a] : a \in S\} </math>.

			We can think of <math>a \sim b</math> as being the judgment that "<math>a</math> and <math>b</math> are similar (in the respect represented by the equivalence relation)." Passing from <math>S</math> to <math>S/\sim </math>, we have <math>[a] = [b]</math>, which is the judgment that "<math>[a]</math> and <math>[b] </math> are ''the same'' (in the respect represented by the equivalence relation)."

			Although the mathematical expressions in the former and latter judgments are both perfectly precise, the English words used in the latter judgement ("the same") are more precise than those used in the former judgment ("similar"). Indeed, many real-life "similarity" relations are not equivalence relations, because do not satisfy the transitivity axiom. For example, light of wavelength 400nm (purple) is similar to light of 401nm (also purple), and 401nm light is similar to 402nm light, and so on; but light of wavelength 600nm (orange) is not similar to light of 400nm (purple), even though we can connect it by a chain of "similarity" to 400nm light.

			=== Real-life examples of equivalence relations ===
			Let <math>S</math> be a set of potential lengths. Given a ruler <math>R</math>, we could say of two lengths <math>\ell</math> and <math>\ell' </math> that <math>\ell \sim_R \ell'</math>, if their measurements would fall between the same two notches in the ruler. So for example, two shoes have whatever lengths they have, <math>\ell </math> and <math>\ell'</math>, but if we use a ruler <math>R</math> with notches every 0.5cm, and we measure both their lengths to be between 30.0 and 30.5 cm, then we can say that <math>\ell \sim_R \ell'</math>. One easily verifies that <math>\sim_R</math> is truly an equivalence relation (at least if you have a consistent way of dealing with boundary cases). Note that it is impossible to ever know that <math>\ell = \ell' </math>, unless the "two" shoes in question are quite literally ''the same shoe'' (not just the same make of shoe). However, if we pass to the quotient, then we ''can'' say <math>[\ell]_R = [\ell']_R</math>, or in English "these shoes have the same length (with respect to the tolerance set by the ruler <math>R</math>)."

			Let <math>S</math> be a set of possible three-dimensional rotations of a sphere about its center. By a possible three-dimensional rotation, I mean something like a movie; a rotation begins happening at some time, does some stuff, and ceases at a later time. We may define an equivalence relation on <math>S</math> by saying that two rotations <math>r, r'</math> are equivalent if they lead the sphere to be rotated in the same way (the "same" way, ''with respect to the tolerance set by some given standard of measurement''). We might define a coarser equivalence relation: If the top half of the sphere is painted black, and the bottom half of the sphere is painted white, then we might say that two rotations are equivalent if they lead the sphere to be rotated in a way that fixes the circle bounding the black and white regions (since the results of two such rotations would be visually indistinguishable from one another). We might also define a stronger equivalence relation, using a concept from [[algebraic topology]]: Two rotations are equivalent if their "movies" are [[homotopic]].

			Let <math>S </math> be a set of possible initial conditions for coin flips. Position of the hand, angle of the hand, temperature, wind speed, height from the ground, impulse exerted by the finger doing the flipping, fingernail length, etc. etc. There is a huge amount of things determining the outcome of a coin flip; one might not even know all the relevant variables [TODO but we actually do. Link experiment], let alone the values of those variables. But an equivalence relation can be defined nonetheless, by saying that two initial conditions are equivalent if they led to the same outcome (heads or tails). This is a very coarse equivalence relation.

	~~Note~~ that ~~if <math>a \sim b</math>, then <math>[a] = [b]</math>~~.		=== Summary ===
			Equivalence relations among some things always come from other things that actually ''are'' the same.

Lfox: Created page with "'''Identity''' is a primary, axiomatic concept. It refers to the "this"-ness of an object, the fact that it is this and not that. Mathematics conceptualizes identity using the equals ("=") symbol. == Equivalence relations == Things can be identical in some respects, but not others. Standard mathematics formalizes this idea as follows. Let $S$ be a set. An ''equivalence relation'' is a relation $\sim$ on $S$ satisfying three axioms..."

2025-02-09T19:37:12Z

Created page with "'''Identity''' is a primary, axiomatic concept. It refers to the "this"-ness of an object, the fact that it is this and not that. Mathematics conceptualizes identity using the equals ("=") symbol. == Equivalence relations == Things can be identical in some respects, but not others. Standard mathematics formalizes this idea as follows. Let <math>S</math> be a set. An ''equivalence relation'' is a relation <math>\sim </math> on <math>S</math> satisfying three axioms..."

New page

'''Identity''' is a primary, axiomatic concept. It refers to the "this"-ness of an object, the fact that it is this and not that.

Mathematics conceptualizes identity using the equals ("=") symbol.

== Equivalence relations ==
Things can be identical in some respects, but not others.

Standard mathematics formalizes this idea as follows.

Let <math>S</math> be a set. An ''equivalence relation'' is a relation <math>\sim </math> on <math>S</math> satisfying three axioms. For any <math>a,b,c\in S</math>,

# (Reflexivity) <math>a \sim a</math>,
# (Symmetry) If <math>a \sim b </math> then <math>b \sim a</math>,
# (Transitivity) If <math>a \sim b</math> and <math>b \sim c</math>, then <math>a \sim c</math>.

If <math>a \in S</math>, we denote the ''equivalence class'' of <math>a</math> to be the set <math>[a] := \{ b \in S : b \sim a \} </math>. Define the ''quotient'' of <math>S</math> by the equivalence relation <math>\sim </math>, or <math>S/\sim</math>, as the set of all equivalence classes of elements in <math>S</math>.

Note that if <math>a \sim b</math>, then <math>[a] = [b]</math>.