It looks like you're new here. If you want to get involved, click one of these buttons!

- All Categories 2K
- Applied Category Theory Course 162
- Applied Category Theory Exercises 87
- Applied Category Theory Discussion Groups 11
- Chat 431
- Azimuth Code Project 107
- News and Information 144
- Azimuth Blog 148
- Azimuth Forum 29
- Azimuth Project 190
- - Strategy 109
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 706
- - Latest Changes 698
- - - Action 14
- - - Biodiversity 8
- - - Books 1
- - - Carbon 9
- - - Computational methods 38
- - - Climate 53
- - - Earth science 23
- - - Ecology 43
- - - Energy 29
- - - Experiments 30
- - - Geoengineering 0
- - - Mathematical methods 69
- - - Meta 9
- - - Methodology 16
- - - Natural resources 7
- - - Oceans 4
- - - Organizations 34
- - - People 6
- - - Publishing 4
- - - Reports 3
- - - Software 20
- - - Statistical methods 2
- - - Sustainability 4
- - - Things to do 2
- - - Visualisation 1
- General 38

Options

Draw the Hasse diagrams for \(P(\emptyset)\), \(P\{1\}\), and \(P\{1, 2\}\) where \(P(X)\) is the power set of \(X\), e.g.

$$ P\{1, 2\} = \{∅, \{1\}, \{2\}, \{1,2\}\}. $$

## Comments

Hello, I was doing this exercise. On page 13 of the book, there is a hint: "a powerset of a finite set, say P{0,1,2,...,n}, always looks like a cube of dimension n." Example 1.36 shows a cube of dim. 3 for P{0,1,2}.

In the exercise, I guess that the Hasse diagram of P{1,2} is a square -- e.g., as a cube can be seen in Flatland -- the Hasse diagram of P{1} is just an arrow between two points -- e.g., as a square can be seen in Lineland -- and the Hasse diagram of P{∅} is just the ∅ itself with no arrows -- e.g., as a line looks like in Pointland. The number of objects is a power of 2, where the exponent of 2 is the number of dimensions. The Hasse diagram of P{1,2}, if I did not make any mistakes, looks like a square with arrows from ∅ to {1}, from ∅ to {2}, from {1} to {1,2}, and from {2} to {1,2}. Please, let me know if you think this is correct. I'm new in this course, and it's nice to learn and share ideas.

`Hello, I was doing this exercise. On page 13 of the book, there is a hint: "a powerset of a finite set, say P{0,1,2,...,n}, always looks like a cube of dimension n." Example 1.36 shows a cube of dim. 3 for P{0,1,2}. In the exercise, I guess that the Hasse diagram of P{1,2} is a square -- e.g., as a cube can be seen in Flatland -- the Hasse diagram of P{1} is just an arrow between two points -- e.g., as a square can be seen in Lineland -- and the Hasse diagram of P{∅} is just the ∅ itself with no arrows -- e.g., as a line looks like in Pointland. The number of objects is a power of 2, where the exponent of 2 is the number of dimensions. The Hasse diagram of P{1,2}, if I did not make any mistakes, looks like a square with arrows from ∅ to {1}, from ∅ to {2}, from {1} to {1,2}, and from {2} to {1,2}. Please, let me know if you think this is correct. I'm new in this course, and it's nice to learn and share ideas.`

That sounds about right! In fact, the Hasse diagram for \(\mathcal{P}\{0, 1, 2\}\) in the book contains all three of these. As you noticed, this is a cube -- and one of the faces of this cube is a square giving the Hasse diagram for \(\mathcal{P}\{1, 2\}\)! One of the edges on this face gives the Hasse diagram for \(\mathcal{P}\{1\}\), and the bottom-most vertex gives the Hasse diagram for \(\mathcal{P}\emptyset\).

`That sounds about right! In fact, the Hasse diagram for \\(\mathcal{P}\\{0, 1, 2\\}\\) in the book contains all three of these. As you noticed, this is a cube -- and one of the faces of this cube is a square giving the Hasse diagram for \\(\mathcal{P}\\{1, 2\\}\\)! One of the edges on this face gives the Hasse diagram for \\(\mathcal{P}\\{1\\}\\), and the bottom-most vertex gives the Hasse diagram for \\(\mathcal{P}\emptyset\\).`

I think you're right, Maria! Here is a picture of \(P(\{0,1,2\})\):

and here is a picture of \(P(\{0,1,2,3\})\), drawn in a different style, where we write a bit to say whether each element is in or out of the subset:

You can see that this is a 4-dimensional cube.

`I think you're right, Maria! Here is a picture of \\(P(\\{0,1,2\\})\\): <center><img src = "http://math.ucr.edu/home/baez/mathematical/7_sketches/P3_hasse_diagram.png"></center> and here is a picture of \\(P(\\{0,1,2,3\\})\\), drawn in a different style, where we write a bit to say whether each element is in or out of the subset: <center><img src = "http://math.ucr.edu/home/baez/mathematical/7_sketches/P4_hasse_diagram.png"></center> You can see that this is a 4-dimensional cube.`

Thank you! The 4-dimensional cube looks great. It's nice to see how geometry arises so naturally. Personally, I better understand math when I can come up with some visualization strategy.

`Thank you! The 4-dimensional cube looks great. It's nice to see how geometry arises so naturally. Personally, I better understand math when I can come up with some visualization strategy.`