Why is a circle 1-dimensional?

$\begingroup$

In the textbook I am reading, it says a dimension is the number of independent parameters needed to specify a point. In order to make a circle, you need two points to specify the $x$ and $y$ position of a circle, but apparently a circle can be described with only the $x$-coordinate? How is this possible without the $y$-coordinate also?

$\endgroup$ 8

17 Answers

$\begingroup$

Suppose we're talking about a unit circle. We could specify any point on it as: $$(\sin(\theta),\cos(\theta))$$ which uses only one parameter. We could also notice that there are only $2$ points with a given $x$ coordinate: $$(x,\pm\sqrt{1-x^2})$$ and we would generally not consider having to specify a sign as being an additional parameter, since it is discrete, whereas we consider only continuous parameters for dimension.

That said, a Hilbert curve or Z-order curve parameterizes a square in just one parameter, but we would certainly not say a square is one dimensional. The definition of dimension that you were given is kind of sloppy - really, the fact that the circle is of dimension one can be taken more to mean "If you zoom in really close to a circle, it looks basically like a line" and this happens, more or less, to mean that it can be paramaterized in one variable.

$\endgroup$ 17 $\begingroup$

Continuing ploosu2, the circle can be parameterized with one parameter (even for those who have not studied trig functions)... $$ x = \frac{2t}{1+t^2},\qquad y=\frac{1-t^2}{1+t^2} $$

$\endgroup$ 3 $\begingroup$

Officially, it's one-dimensional because at any point, the tangent space is a one-dimensional vector space.

Unofficially, it's one-dimensional because if you zoom in enough on a tiny little piece of it, it is indistinguishable from a segment of the real line.


Sorry, I have a bad habit of answering a question title and not exactly answering the question itself. You say you need an $x$ and $y$ value to identify a circle. So you are identifying its center. Even though you've just named a point with two numbers in its address, you have only identified a $0$-dimensional thing at this point. It's just a point, there is no direction to travel in.

To identify the circle, you'd need a third number: the radius. And the circle will consist not of the point you had earlier identified, but rather of all points that are that radius from your identified center.

This collection of points can be parametrized using only one independent variable, as a few other answers have shown.

$\endgroup$ 2 $\begingroup$

When the book says, "a dimension is the number of independent parameters needed to specify a point" it's talking about the parameters needed to specify a point on the circle. Only one is needed to describe which point on a certain circle.

That's different from what's needed to describe a circle itself. A circle spans two dimensions, but a single point on it can be described with a single value.

$\endgroup$ 1 $\begingroup$

It can be parametrized with the angle parameter $t$ as $(\sin(t), \cos(t))$.

If you want to use the $x$-coordinate as a parameter, then you can solve $y$ from $x^2+y^2 = r^2$. But then you only have a halve of the circle since you must choose the sign of $y$.

$\endgroup$ 3 $\begingroup$

That is a bad definition of dimension. By this definition, the (filled-in) unit square in the real coordinate plane is one-dimensional, since you only need one number to describe a point $(x,y)$. An easy way to do this is to write out the decimal expansions of $x$ and $y$:

$$x=0.a_1a_2a_3a_4a_5\dots$$

$$y=0.b_1b_2b_3b_4b_5\dots$$

Now the point $(x,y)$ can be described with just one number:

$$0.a_1b_1a_2b_2a_3b_3\dots$$


But suppose we overlook this shortcoming of your definition, and we apply it to a circle. Then we can use the polar coordinate map

$$(x,y) \rightarrow (r,\theta)$$

This lets us write every point $(x,y)$ in terms of just one variable: $\theta$ (since $r$ is constant).

$\endgroup$ $\begingroup$

Alex Jordan gives the official answer if you officially define the circle as a differential manifold. If you officially define it as a topological space then it is one dimensional because you can cut it into separate parts by removing single points. Points are 0 dimensional, and connected spaces that can be disconnected by removing points are 1 dimensional.

Actually this is local. Two cones joined at the vertex can be disconnected by removing one point -- the vertex. You could say a circle is one dimensional at every point, while those two cones have one dimension at the vertex but two dimensions elsewhere.

Or you could limit the definition to spaces that are locally isomorphic to $\mathbb{R}^n$. That use of $n$ does not make the idea trivial. Rather it shows that the topological criterion of connectedness agrees with the linear algebra criterion of a basis in defining dimension of the $\mathbb{R}^n$.

$\endgroup$ 4 $\begingroup$

You need not getting too sophisticated.

One dimension means "forward or backward" - these are your options if you sit on a line. A circle is just a bent line in a way that you reach the same spot after some distance.

So a circle is finite but unlimited.

If you think about the "bending" it is quite interesting that this bending takes place in the second dimension.

Take this one level higher: in two dimensions your options are "forward, backward, left and right" so on a plane you have these choices. Now bend your plane in a special way... the corresponding thing to the circle is a sphere.

Next level... out of our imagination ;-)

$\endgroup$ 2 $\begingroup$

There are several ways in which the dimension of an object may be defined. A very general one, and the de-facto way to define "dimension" (I.e: with no extra adjectives) is the topological dimension. From the linked page of Wikipedia:

Any given open cover of the unit circle will have a refinement consisting of a collection of open arcs. The circle has dimension one, by this definition, because any such cover can be further refined to the stage where a given point x of the circle is contained in at most two open arcs. That is, whatever collection of arcs we begin with, some can be discarded or shrunk, such that the remainder still covers the circle but with simple overlaps.

This means roughly and in more intuitive terms that if you have an unlimited collection of colors of paint, but only a very small amount of each color, to cover a circle (bigger than what you can cover with a single color), then you can color the circle such that at most, 2 paint blobs of different colors meet on each point (the dimension is 1 less than this number, therefore 1 for a circle).

See the image included in the same Wikipedia article for an illustration of this concept.

Note that the topological dimension described above is just one possible way to define what a dimension is in mathematical terms. Mathematics only give results about specific definitions, not natural language concepts (other than how to construct a mathematical object that models some of those properties). Only some mathematical constructions have names corresponding to their intuitive meaning (Such as this, the topological dimension). Other mathematical constructions have names which have only a very abstract correspondence with the daily-life object bearing the sane name (E.g: a [manifold][3] needs not resemble a intake or exhaust manifold of an internal combustion engine, or an object which could exist physically at all) and others have no real-life counter part (Such as groups, only some physically existing systems have a behavior that can be modeled by groups, such as the Rubik's cube, and clocks).

$\endgroup$ $\begingroup$

As others have pointed out, the definition in your textbook is not really as clear as it could be. Since you are reading this in a precalculus textbook, perhaps a better way to think about that sentence is not as a definition of 1-dimensional, but rather to mean: "We can usefully work with a circle in the same way we work with a line, by using only 1 number to specify a point on it."

For example, take the classic calculus problem of finding a line that just touches the circle (the tangent line), say at the topmost point of a radius 1 circle. We could approach this problem by using 2 variables, x and y, to specify points on the circle:

$$x^2 + y^2 = 1$$

$$y = \sqrt { 1 - x^2 }$$

$$slope = \frac{dy}{dx} = \frac{1}{2} (2x) (1 - x^2)^{-\frac{1}{2}}$$

$$ = \frac{dy}{dx} = \frac{1}{2} (2 \cdot 0) (1 - 0^2)^{-\frac{1}{2}} = 0$$

But, we could also approach the same problem using just one number $t$ to specify a point:

$$x = cos(t),~ y = sin(t)$$

$$slope = {\frac{dy}{dt}}/{\frac{dx}{dt}} = -\frac{sin(t)}{cos(t)} = -\frac{sin(\frac{\pi}{2})}{cos(\frac{\pi}{2})} = 0$$

Since we can do these calculations easily using just one parameter $t$, we say a circle "is" one dimensional, not as a definition, just as an observation about how we can work with it.

$\endgroup$ $\begingroup$

To put the question into a more dramatic scenario let's imagine you are not talking about a circle but a curve in 3D, like the trajectory of a bee. The bee itself is at a given point on that route on a given time. So, you could assume that the parameter t (=time) is enough to specify the position of the bee, right?
The trick is that you have to separate the definition of the curve (which is n-dimensional) from the definition of a point on that particular curve (that might just be one parameter).
From my point of view, the definition from your book is not that good at all.

(sorry for my bad English. It is my third language)

$\endgroup$ $\begingroup$

Circle is one-dimensional also according to the fractal dimension, for example using box counting dimension (Minkowski–Bouligand dimension) definition:

Suppose that N(ε) is the number of boxes of side length ε required to cover the set. Then the box-counting dimension is defined as:

$$\dim_{\rm box}(S) := \lim_{\varepsilon \to 0} \frac {\log N(\varepsilon)}{\log (1/\varepsilon)}$$

Instead of number of boxes it can be minimal number of open balls covering the set in question (circle here).

In other words number of pixels needed to draw a circle on the screen grows linearly ($d=1$) with increasing resolution ;-)

$\endgroup$ $\begingroup$

It's possible that your confusion comes from misunderstanding the term "circle". In mathematics, a circle is a curved line and the area within that line is a disc.

The disc is indeed two-dimensional: you need to specify, e.g., $x$- and $y$-coordinates or an angle and distance to identify a point. But, as the other answers explain, a circle is one-dimensional: given that the radius is fixed, you can specify any point by giving its angle or, equivalently, the distance around the circle from some fixed reference point.

$\endgroup$ $\begingroup$

Your mixing two things. The circle that you describe is a set in a plane (two dimensional) with inside and outside. Now generically the boundary has a dimension 1 less than an enclosed volume (in this case area).

$\endgroup$ $\begingroup$

I like to think about it as follows, a point is 0-dimensional, but anything that has a "length" associated with it, is 1-dimensional, and anything that has an "area" associated with it as 2-dimensional, and anything with a "volume" as 3-dimensional, etc.

Be careful not to confuse a circle with a disc, as others have mentioned in mathematics a circle is just a curved line, hence it's 1-dimensional. A disc on the other hand includes all the points inside as well. So the number of parameters is not what matters, you want to look is the set of points itself.

Formally speaking the points on a circle of radius r centered at the origin are the set of all points (x,y) in this set: $\{(x,y)\ |\ x^2 + y^2 = r^2\}$ whereas a disc of radius r centered at the origin is the set of all points (x,y) in this set: $\{(x,y)\ |\ x^2 + y^2 \le r^2\}$.

$\endgroup$ $\begingroup$

You can follow the circle riding a bike with jammed handlebars. Counting the number of wheel turns, a single parameter, you can always tell where you are.

$\endgroup$ $\begingroup$

You are thinking on the area of the circle. It is 2 dimensional, because you can move on it on two direction: in $x$ and $y$, or to $\phi$ and $r$, or any other. The essence is, that you need 2 real numbers to describe the position of a point.

But the circumference of the circle is only 1 dimensional. You can describe the place of a point by $r$ or by $\phi$.

$\endgroup$ 1

Your Answer

Sign up or log in

Sign up using Google Sign up using Facebook Sign up using Email and Password

Post as a guest

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

You Might Also Like