**October 28, 2019.** *Black holes are regions you can enter but can’t
leave. It turns out you can define this notion for an arbitrary
partial order, *

## Introduction

A *black hole* is a region you can enter, but can’t leave.

## Black holes in partial orders

### Black holes and exteriors

### Horizons

## References

## EXTRA

What exactly distinguishes space inside and outside the black hole won’t concern us here.

In technical language, we would talk about *asymptotic* regions (like
future null/timelike infinity) so we think of these as a set of
events, and label them $\mathcal{A}$.
The black hole has a different destiny in store for those
who fall inside: they will encounter a *singularity*, a different (and
less pleasant) set of events $\mathcal{S}$.
In a space with multiple black holes, we of course have multiple
singularities $\mathcal{S}_i$.

In black hole physics, a *horizon* is a point of no return: pass the
horizon, and you can never escape from the black hole.
But there are different types of horizon.
An *absolute horizon* is a global, “teleological” notion, which may
contain regions of spacetime long before the black hole (which they
will inevitably fall into) actually forms.
In some cases, you may be “trapped”, but luckily no singularity forms!
A more local notion is an *apparent horizon*.
As the name suggests, apparent horizons can be detected (in principle) by an observer with an array of laser pointers.
Unlike an absolute horizon, an apparent horizon always conceals a
singularity.

I’m not going to talk about black holes much more than this.
However, the notion of a horizon — and these local and global
flavours — are interesting in the more general context of
*partial orders*.
A partial order is a binary relation $\leq$ on a set $S$ with
the following RAT properties for all $x, y, z \in S$:

- $x \leq x$ (
*reflexive*); - $x \leq y$ and $y \leq x$ implies $x = y$ (
*antisymmetric*); - $x \leq y$ and $y \leq z$ implies $z \leq z$ (
*transitive*).

Examples include the $\leq$ relation on integers, inclusion of sets, and causal relationships between events. Our goal here will be to define horizons for any partial order, and use them to (perhaps usefully) restate some old philosophical problems.

In order for $\mathcal{A}$ and $\mathcal{S}$ to play the roles ascribed to them here, they require two basic properties:

- No event in $\mathcal{A}$ can influence any event in $\mathcal{S}$, or vice-versa.
- The sets $\mathcal{A}$ and $\mathcal{S}$ contain all events they can influence.

Let $(\leq, S)$ be a partial order, as defined above.

A black hole is a region where any observer, once inside, has only one
future in store: collision with a singularity.
There must also be a region outside the black hole where luckier
observers can live out their days in comparative peace.
More generally, a *horizon* exists whenever there are some observers
who can never

But while a black hole should have this property, it clearly isn’t enough. First of all, any observer $b$ inside the black hole has a future $F(b)$ with this property. Since these different observers can meet up in the future, their futures should be part of the same black hole. Let’s formalise this notion of meeting in the future.

**Definition 2.** *The sets $A, B \subseteq S$* join *if $F(A) \cap F(B) \neq \varnothing$*.

It seems, then, like a black hole should be something like the union of sets $F(B) = B$ which join, or equivalently, such that any other such set does not meet $B$. But this still isn’t quite right, since this could be the whole set $S$! If we exclude this by fiat, we should have a good notion of black hole.

A black hole is a region which an observer cannot
leave once entered: their future always lies inside the black hole.
There must also be region of space *outside* the black hole, where an
observer can choose to live out their days in comparative peace.
Some part of their future light cone lies outside the black hole.

To formalise these ideas, let’s first define the *future* of a
point in a partial order $(S, \leq)$.
We think of $x \leq y$ as $y$ is in the future of $x$.

**Definition 1.** *The* future *of a set $A \subseteq S$ is the set of
points*
[
F(A) := {y \in S : \exists x \in A, y \geq x} = \cup_{a \in A} F(a).
]
*We can define the* past *of a set $P(A)$ similarly.*

In relativity, $P(x)$ is the future light cone of an event $x$. For the real numbers, $P(x) = [x, \infty)$ is the half-infinite line starting at $x$.

**Exercise 1.** Using RAT, show that:

- A set is contained in its future $A \subseteq F(A)$.
- The future function is “idempotent”, $F(F(A)) = F(A)$.
- If $A = F(A’)$ and $A’ = F(A)$, then all sets are equal, $A = A’ = F(A) = F(A’)$.

What is the equivalent of a black hole?
For every point in the black hole $B$, the future of the point should remain in the black hole, so $F(B) = B$.
This is the *trapping* property.
But we need more!
For instance, the future of any subset $B’ \subseteq B$ has the same trapping property (trivially by idempotence), but is a strict subset of our black hole.
We need a completeness property.

**Definition 3.** *A* black hole *is a set $B \subseteq S$ with the following properties:*

- $F(B) = B$ (trapping);
- for any other $B’$ with $F()$ (complete);
- $B \neq S$.