The word ‘space’ has acquired several meanings, which is what you would expect of such a sexy, primitive, metaphorically rich, eminently repurposeable concept.

**Outer space**, of course, is where cosmonauts, Hubble telescopes, television satellites, and aliens reside. It’s**ℝ³**, or something like that.

**Grammatical spaces**keep words apart. The`space`

bar got a little more exercise than the`backspace`

key while I was writing this list.

- Non-printable area (space) is also free from ink or electronic text in newspapers:
**ad space**. Would you like to buy one?

**Space on my hard drive**to store an exact digital replica of all my vinyl? This kind of space also applies to**human memory**capacity, computer RAM, and other electronic pulsings which seem rather more time-based than spatial & static.

- Businessmen refer to
**competitive neighbourhoods**: the online payments space; the self-help books category; the $99-and-under motel space; and so on.

**Space as distinct from time.**Although cosmologists will tell you that spacetime is a pseudo-Riemannian manifold which looks locally like**ℝ⁴**, a geographer or ecologist will tell you that locally space looks like**ℝ²**(since we live solely on the surface of the Earth).

I believe the**ℝ²**view is also taken by programmers who geotag things (flickr photos, twitter tweets, 4square updates): second basement**=**85th floor and canopy**=**rainforest floor as far as that’s concerned.Both perspectives are valid. They’re just different ways of modelling “the world” with tuples. Is it surprising that cold, rigid, soulless mathematics allows for different, contradictory viewpoints? Time is like space in the grand scheme of things, but for life on Earth time-averages and space-averages are very different.

**Parameter space.**The first graphs one learns in school plot input**x**versus output**ƒ(x)**.

But another kind of plot — like a solid liquid gas diagram

— plots input**a**versus input**b**, with the area coloured or labelled by output**ƒ(x)**. (In the case of matter’s phases, the codomain of**ƒ**is the set**{**solid**,**liquid**,**gas**,**plasma**}**rather than the familiar**ℝ**.)- When I push this lever, what happens? What about when I push that one?
- There are connections to Fourier spectrum.

**Phase space.**Paths, orbits, and trajectories taken through other spaces. Like the string of**(x₍ᵤ₎,y₍ᵤ₎,z₍ᵤ₎)**-coordinates that a water rocket takes across the lawn. Or the path of temperature**(temp₍ᵤ₎)**during a year in Bloomington.

Or the trajectory of the dynamical system

**(your feelings₍ᵤ₎, your partner’s feelings₍ᵤ₎)**representing your marriage.Roger Penrose uses the example of the configuration space of a belt to explain that phases can happen on non-trivial manifolds. (A belt can take on as many configurations as a string, plus it can be twisted into a Moebius band, but if it’s twisted twice that’s the same as twisted zero times.)

[Sorry, I don’t have a Unicode character for subscript t, so I used u to represent the time-indexing of path variables. Maybe that’s better anyway, because time isn’t the only possible index.] ₜ

**Personal space.**I forgot personal space. Excuse me; pardon me.**Abstract spaces.**These are best understood as ordered tuples, i.e. “Things plus the relationships and desired interpretation of those things.” The space—more like “the entire logical universe I’m going to be talking about here”—is supposed to contain EVERYTHING you need, in order to work with any of the parts. So for example to use a division sign**÷**, the space must include numbers like**⅓**and**⅝**. (Or you could just do without the**÷**sign. You can make a ring that’s not a division ring; look it up.)- A
**Banach space**is made up of vectors (things that can be added together), is complete (there are enough things that infinite limit sequences make sense), with a notion of distance (norm), but not necessarily angle. Also two things can be**0**distance away from each other without being the same thing. (That’s unlike points in**Euclidean space**:**(2,5,2)**is the only thing**0**away from**(2,5,2)**). - A
**group**is complete in the sense that everything you need to do the operation is included. (But not complete in the way that Banach space is complete with respect to sequences converging. Geez, this terminology is overloaded with meanings!)

- A
**vector space**is complete in the same way that a group is. In the abstract sense. Again, a vector is “anything that can be added together”. The vectors’ space completely brings together all the possible sums of any combination of summands.For example, in a 2-space, if you had

**(**1**,**0**)**and**(**0**,**1**)**in the space, you would need**(**1**,**1**)**so that the vector space could be complete. (You would also need other stuff.)And if the vector space had

**a**and**b**, it would need to contain**a+b**— whatever that is taken to mean — as well as**a+b+b+(a+b)+a**and so on. In jargon, “closed under addition”. - A
**topological space**(confusingly, sometimes called “a topology”) is made up of things, bundled together with the necessary overlap, intersection, union, superset, subset concepts so that “connectedness” makes sense.

- A
**Hilbert space**has everything a Banach space does, plus the notion of “angle”. (Defining an inner product is as good as defining an angle, because you can infer angle from inner multiplication.)**ℂ⁷**is a hilbert space, but the pair**({0, 1, 2}, + mod 2)**is not.

**Euclidean space**is a flat, rigid, stick-straight, all-joins-square Hilbert space.- To recap that: vector space
**⊰**Banach space**⊰**Hilbert space, where the**⊰**symbol means “is less structured than”.Topological spaces can be even more unstructured than a vector space. Wikipedia explains all of the

**T0****⊰ T**1 ⊰ T2 ⊰ T2.5**⊰**T3**⊰**T3.5**⊰**T4**⊰ T5****⊰ T6**progression which was thoroughly explored during the 20th century. (Those spaces differ in how separated “neighbours” are taken to be.)

- A

I don’t mean to imply that these spaces can *only* be thought of as tuples: **({**things**},** operations**)**. There are categorical ways to understand them which may be better. But don’t look at me; ask the ncatlab!

- Lastly, sometimes ‘space’ just means a collection of related things, without necessarily specifying, like above, the tools and viewpoints that we take to their relationships.
- The space of all possible faces.
- The space of all possible boyfriends.
- The space of all possible songs.
- The space of all possible sentences.
- Qualia space, if you’re a theorist of consciousness.
- The space of all possible romantic relationships.
- The space of all possible computer programs of length
**17239**bytes. - Whatever space politics occupies. (And we could debate about that.)
**(**consumption**,**leisure**,**utility**)**space- The space of all possible strategy pairs.
- The space of all possible wealth distributions that sum to
**W**. - The space of all bounded functions.
- The space of all
**8×8**matrices over the field**ℤ₁₁**. - The space of all polynomials.
- The space of all continuous functions from
**[0,1] → [0,1]**. - The space of all square integrable functions.
- The space of all bounded linear operators.
- The space of all possible models of ______.
- The space of all legal configurations of the Rubik’s cube.

(Some of these may be assumed to come packaged with a particular set of interpretations as in the previous ol:li.)

Tags: analogy, angle, August Ferdinand Möbius, Banach space, Bernhard Riemann, Bloomington Indiana, David Hilbert, education, fibrations, fibres, function space, functional analysis, functions, geography, geometry, grammar, Hilbert space, Hoosiers, Indiana, Johann Benedict Listing, manifolds, mathematics, metaphor, norm, norms, outer space, parameter space, parameters, Roger Penrose, Stefan Banach

## Leave a Reply