The process of creating a Penrose diagram is similar to our intuitive process of analog diagramming. 🎉 ​

It follows naturally that our mathematical domain is Set Theory. Let's take a look at our .domain file.foreach \file in {{arctan _data0.csv }, {arctan _data1.csv }, {arctan _data2.csv }, {arctan _data3.csv }, Recall that a .domain file defines the possible types of objects in our domain. Essentially, we are teaching Penrose the necessary vocabulary that we use to communicate our concept. For example, recall our example of a house from the introduction. Penrose has no idea that there are objects of type "plant" or "furniture" in a house, but we can describe them to Penrose using the type keyword. The distortion becomes greater as we move away from the center of the diagram, and becomes infinite near the edges. Because of this infinite distortion, the points i − and i + actually represent 3-spheres. All timelike curves start at i − and end at i +, which are idealized points at infinity, like the vanishing points in perspective drawings. We can think of i + as the “Elephants’ graveyard,” where massive particles go when they die. Similarly, lightlike curves end on \(\mathscr{I} We either write down or mentally construct a list of all the objects that will be included in our diagram. In Penrose terms, these objects are considered substances of our diagram. Most useful time functions are related to the Schwarzschild time by a “height” shift that depends only on the radial coordinate:

For example, if we want Penrose to know that there are objects of type plant, we would do type Plant or type plant. We normally capitalize type names. ❓ What's the most fundamental type of element in Set Theory? (hint: the name gives it away.) ​ In this section, we will introduce Penrose's general approach and system, talk about how to approach diagramming, and explain what makes up a Penrose diagram.

Please note:

The Einstein–Rosen bridge closes off (forming "future" singularities) so rapidly that passage between the two asymptotically flat exterior regions would require faster-than-light velocity, and is therefore impossible. In addition, highly blue-shifted light rays (called a blue sheet) would make it impossible for anyone to pass through. Carroll, Sean (2004). Spacetime and Geometry – An Introduction to General Relativity. Addison Wesley. p.471. ISBN 0-8053-8732-3. Challenge 3: Keep 3 sets. Represent Set as rectangles with strokeWidth equal to 15. (Hint: you'll also want to set strokeColor to sampleColor(0.5, "rgb") or similar.)

The corners of the Penrose diagram, which represent the spacelike and timelike conformal infinities, are π / 2 {\displaystyle \pi /2} from the origin. This is what you will achieve at the end of this tutorial. If you are familiar with set theory you may recognize that circles are commonly used to represent sets, and that's exactly what we have here. We have 2 sets without names (we will get to labeling later 😬). 📄 Domain ​ The coordinates of the Penrose diagram are compactified along the null directions just as in the Minkowski case: d'Inverno, Ray (1992). Introducing Einstein's Relativity. Oxford: Oxford University Press. ISBN 978-0-19-859686-8. See Chapter 17 (and various succeeding sections) for a very readable introduction to the concept of conformal infinity plus examples.

We define the substances in our diagram by declaring their type and variable name in our .substance. Compactification maps the Minkowski diagram to the Penrose diagram by mapping the null directions to a finite interval. Let’s see how that works. Minkowski spacetime This is the first diagram we will make together. This is the equivalent of the print("Hello World") program for Penrose. To make any mathematical diagram, we first need to visualize some shapes that we want. In this tutorial, we will learn about how to build a triple ( .domain, .substance, .style) for a simple diagram containing two circles. Recall how you would normally create a diagram of a concept using a pen or pencil. It will most likely involve the following steps: