Tell me more ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
up vote 17 down vote favorite
5

Portal is a video game, where you can create 2 disks $D\in\mathbb{R}^3$, which then are identified. The world is glued together at these points.

enter image description here

This kind of reminds me of some procedures to construct spaces for CW complex and whatnot in algebraic topology. I don't know if that kills properties like smoothness, but that doesn't really matter here.

My question:

What is the topology of a world with one or $n$ portals?

If you take topological $\mathbb{R}^3$ and two or even $2n$ therein seperated two-dimensional discs $D_1,D_2$ which you identify (say pairwise), what is the resulting topology?

enter image description here

The question was motivated by my own answer here.

share|improve this question
1  
It would probably be a quotient topology of some sort. – Asaf Karagila Apr 28 '12 at 10:49
1  
It was always a matter of time until this question appeared here on MSE. The Portal world, in terms of playability, is not quite $\Bbb R^3$ topologically; you can't fly (well...) or go through walls after all. I figure the best analogy here would be devising a "playspace" as an open subset of a topological space $X$, selecting two open subsets of $X$, intersecting each with the boundary of the playspace for the "portals," and then identifying the portals on the closure of the playspace. This is rather generic and I don't think amenable to a specific answer in the general case. – anon Apr 28 '12 at 11:18
3  
@anon: The game (with its not quite $\mathbb{R}^3$ world) is only the motivation for the question. I could formulate the question without any reference to Portal$^{\text{TM}}$: If you take topological $\mathbb{R}^3$ and two or even $2n$ therein seperated two-dimensional discs $D_1,D_2$ which you identify (say pairwise), what is the resulting topology? – Nick Kidman Apr 28 '12 at 11:36
1  
You could, for intuition, think of this in dimension two, i.e. take the plane and glue intervals. At the very beginning you will see, that the topology (in a strict view) will depend on whether you glue open or closed intervals, but I'm pretty sure it won't affect the standard algebraic invariants. By the way, the standard glueing in topology is not the same as in those games I think: in the quotient space a point could choose whether to pass a portal or ignore it. – Ben A. Apr 28 '12 at 15:11
1  
Your description of portaling isn't quite correct; portals are attached to a 2D boundary in a 3D space, and each portal is one-sided. You might ask instead, for example, about a solid ball $B^3$ with $n$ pairs of discs on its boundary identified. – Qiaochu Yuan Apr 28 '12 at 23:17
show 2 more comments

1 Answer

up vote 6 down vote

I will try to answer the question I think you should have asked instead. This should perhaps be a coment instead but it is too long.

Take the union of all the walls in a portal level. This is an orientable two-dimensional manifold $M$. The set of points the player can occupy is some connected component $C$ of the complement of the manifold in $\mathbb R^3$. Let $D$ be the complement of $C$. If we assume there are no "floating walls" in the level, then $M$ is a (connected) orientable compact surface without boundary. Due to the classification of closed surfaces, $M$ has a genus $g\geq 0$, so it is homeomorphic to a sphere with $g$ handles. Identifying two discs on $M$ is equivalent to adding another handle to the surface. You can picture it by just digging a tunnel inside $D$ between the two discs. It will look something like this: triple torus

I got the picture from this Wikipedia page, which has two more representations of the same surface.

Now, it remains to deal with the case of shooting one portal on a wall and another on a floating platform. In this case you can't dig a tunnel inside $D$ between the portals since $D$ is not connected. We could however embed $C\subseteq \mathbb R^3$ in $\mathbb R^4$, and dig a tunnel between the portals inside $\mathbb R^4-C$, but now we have a space embedded in $\mathbb R^4$, which of course more difficult to picture. Thus the general case of a portal level is the union of a finite number of spheres with handles, where portals connecting different wall components are realized by tunnels extending into a fourth dimension. I don't know if there's a simpler way to describe this.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.