Symmetry - Revision history

Lfox at 20:23, 26 February 2025

2025-02-26T20:23:44Z

← Older revision		Revision as of 20:23, 26 February 2025
Line 25:		Line 25:

	Suppose that I owe Bob $5. That's one way of looking at the situation. Another, completely equivalent way of looking at the situation, is to say that Bob owes me -$5. So the fact that I used the concept of an integer to describe a state of affairs, means that there is some sort of <math>\mathbb{Z}_2</math> symmetry. This is the only example (so far) of a "gauge symmetry."		Suppose that I owe Bob $5. That's one way of looking at the situation. Another, completely equivalent way of looking at the situation, is to say that Bob owes me -$5. So the fact that I used the concept of an integer to describe a state of affairs, means that there is some sort of <math>\mathbb{Z}_2</math> symmetry. This is the only example (so far) of a "gauge symmetry."

			== Quotient by a symmetry ==
			Quotients are closely tied in with symmetries. These two notions basically come together.

			A quotient is like, the perspective on things with respect to which they have not been changed.

			So like, in my examples, when I actually omit measurements of the label on the can, I'm viewing it as an element of the quotient space.

	== See also ==		== See also ==

	* [[Group]]		* [[Group]]

Lfox: /* Examples */

2025-02-26T20:18:27Z

Examples

← Older revision		Revision as of 20:18, 26 February 2025
Line 14:		Line 14:

	== Examples ==		== Examples ==
	[TODO picture] Imagine a square S with different sides (labels on each of its sides). You can rotate it, and you get a different square S'. But if you forget about the labels (omit the measurements of the labels), then S and S' are the same. This thing has a natural <math>\mathbb{Z}_4</math> symmetry.		[TODO picture] Imagine a square S with different sides (labels on each of its sides). You can rotate it, and you get a different square S'. But if you forget about the labels (omit the measurements of the labels [TODO omission isn't forgetting]), then S and S' are the same. This thing has a natural <math>\mathbb{Z}_4</math> symmetry.

	Imagine a can of soda. If I rotate it, it will be arranged differently, but ''in some sense'' it will look the same. If I ignore the pattern on the surface of the can, and ignore the non-symmetric mechanism at the top of the can (omit its measurement), then the rotated can is indistinguishable from the original can. This thing has a ~~natural~~ <math>U(1)</math> symmetry.		Imagine a can of soda. If I rotate it, it will be arranged differently, but ''in some sense'' it will look the same. If I ignore the pattern on the surface of the can, and ignore the non-symmetric mechanism at the top of the can (omit its measurement), then the rotated can is indistinguishable from the original can. This thing has a <math>U(1)</math> symmetry.

	Imagine 4 identical balls. If I permute them, that is, if I rearrange them in such a way that they are in the same locations as they were before, then the 4 balls after the change are indistinguishable from the 4 balls before the change. This thing has ~~a natural~~ <math>S_4</math> symmetry.		Imagine 4 identical balls. If I permute them, that is, if I rearrange them in such a way that they are in the same locations as they were before, then the 4 balls after the change are indistinguishable from the 4 balls before the change. This thing has an <math>S_4</math> symmetry.

	Imagine a pendulum, moving with very little friction so that it never really slows down. It goes left to right to left to right to left to right etc., repeating itself over a period of time <math>T</math>. It is in the same state now as it was <math>-T</math> seconds ago, <math>-2 T </math> seconds ago, etc., and it will be in the same state again after <math>T </math> seconds, <math>2T</math> seconds, etc. If one were to forget all the indications that time has passed (omit measurements), then one would be unable to distinguish between the pendulum now, and the pendulum at those other times. This system has a natural <math>\mathbb{Z} </math> symmetry.		Imagine a pendulum, moving with very little friction so that it never really slows down. It goes left to right to left to right to left to right etc., repeating itself over a period of time <math>T</math>. It is in the same state now as it was <math>-T</math> seconds ago, <math>-2 T </math> seconds ago, etc., and it will be in the same state again after <math>T </math> seconds, <math>2T</math> seconds, etc. If one were to forget all the indications that time has passed (omit measurements), then one would be unable to distinguish between the pendulum now, and the pendulum at those other times. This system has a natural <math>\mathbb{Z} </math> symmetry.

Lfox at 19:59, 18 April 2024

2024-04-18T19:59:57Z

← Older revision		Revision as of 19:59, 18 April 2024
Line 10:		Line 10:

	[TODO think about this] I want to say something like: a set of existents is said to have a <math>G</math> symmetry if it admits a trivial <math>G</math> action. But that isn't quite general enough. Like with my example of a can of soda, that's a single existent, not an infinite set of existents; and yet it has a U(1) symmetry.		[TODO think about this] I want to say something like: a set of existents is said to have a <math>G</math> symmetry if it admits a trivial <math>G</math> action. But that isn't quite general enough. Like with my example of a can of soda, that's a single existent, not an infinite set of existents; and yet it has a U(1) symmetry.

			One need only understand a part of a symmetric thing, in order to understand the entire thing. This is probably the essential reason why people like symmetric things: by virtue of being symmetric, they are easier to understand.

	== Examples ==		== Examples ==

Lfox at 19:39, 18 April 2024

2024-04-18T19:39:46Z

← Older revision		Revision as of 19:39, 18 April 2024
Line 8:		Line 8:

	The first two are true symmetries, the last is a gauge symmetry.		The first two are true symmetries, the last is a gauge symmetry.

			[TODO think about this] I want to say something like: a set of existents is said to have a <math>G</math> symmetry if it admits a trivial <math>G</math> action. But that isn't quite general enough. Like with my example of a can of soda, that's a single existent, not an infinite set of existents; and yet it has a U(1) symmetry.

	== Examples ==		== Examples ==
Line 19:		Line 21:

	Imagine a circular knob with 8 marks, which looks like ☀️, and which can be rotated freely. If the marks are indistinguishable, then this has a <math>\mathbb{Z}</math> symmetry; for any <math>n:\mathbb{Z}</math> I can rotate the circle clockwise by <math>n</math> notches and one couldn't tell that I did anything. If the marks are distinguishable, then this has a different <math>\mathbb{Z}</math> symmetry; for any <math>n:\mathbb{Z}</math> I can rotate the circle clockwise by <math>n</math> full rotations, and one couldn't tell that I did anything. Suppose I start with the latter case (distinguishable marks), and I omit the measurement of the marks; then this system can be said to admit a <math>\mathbb{Z}_8</math> symmetry. [TODO I'm confused].		Imagine a circular knob with 8 marks, which looks like ☀️, and which can be rotated freely. If the marks are indistinguishable, then this has a <math>\mathbb{Z}</math> symmetry; for any <math>n:\mathbb{Z}</math> I can rotate the circle clockwise by <math>n</math> notches and one couldn't tell that I did anything. If the marks are distinguishable, then this has a different <math>\mathbb{Z}</math> symmetry; for any <math>n:\mathbb{Z}</math> I can rotate the circle clockwise by <math>n</math> full rotations, and one couldn't tell that I did anything. Suppose I start with the latter case (distinguishable marks), and I omit the measurement of the marks; then this system can be said to admit a <math>\mathbb{Z}_8</math> symmetry. [TODO I'm confused].

			Suppose that I owe Bob $5. That's one way of looking at the situation. Another, completely equivalent way of looking at the situation, is to say that Bob owes me -$5. So the fact that I used the concept of an integer to describe a state of affairs, means that there is some sort of <math>\mathbb{Z}_2</math> symmetry. This is the only example (so far) of a "gauge symmetry."

	== See also ==		== See also ==

	* [[Group]]		* [[Group]]

Lfox at 19:28, 18 April 2024

2024-04-18T19:28:44Z

@@ Line 1: / Line 1: @@
 A '''symmetry''' is a change in perspective that renders a system unchanged.
 == Examples ==
-[TODO picture] Imagine a square S with different sides (labels on each of its sides). You can rotate it, and you get a different square S'. But if you forget about the labels (omit the measurements of the labels), then S and S' are the same. This thing has a natural Z4 symmetry.
+[TODO picture] Imagine a square S with different sides (labels on each of its sides). You can rotate it, and you get a different square S'. But if you forget about the labels (omit the measurements of the labels), then S and S' are the same. This thing has a natural <math>\mathbb{Z}_4</math> symmetry.

Lfox: Created page with "A '''symmetry''' is a change in perspective that renders a system unchanged. == Examples == [TODO picture] Imagine a square S with different sides (labels on each of its sides). You can rotate it, and you get a different square S'. But if you forget about the labels (omit the measurements of the labels), then S and S' are the same. This thing has a natural Z4 symmetry."

2024-04-18T16:59:35Z

Created page with "A '''symmetry''' is a change in perspective that renders a system unchanged. == Examples == [TODO picture] Imagine a square S with different sides (labels on each of its sides). You can rotate it, and you get a different square S'. But if you forget about the labels (omit the measurements of the labels), then S and S' are the same. This thing has a natural Z4 symmetry."

New page

A '''symmetry''' is a change in perspective that renders a system unchanged.

== Examples ==
[TODO picture] Imagine a square S with different sides (labels on each of its sides). You can rotate it, and you get a different square S'. But if you forget about the labels (omit the measurements of the labels), then S and S' are the same. This thing has a natural Z4 symmetry.