Why is a circle not a convex set?

Solution 1:

They mean just the edge of the circle, without the interior. That is not a convex set.

Solution 2:

The confusion arises from the notation. A circle, in the second part of the sentence, is defined as just the points on the boundary, excluding the interior. From your picture you can see that the line connecting A and B has A and B on the boundary, but the other points in the segment lie in the interior of the circle. Therefore, if we define a circle as the set of points on the boundary, it is not convex.

On the other hand, if a circle is defined as the set of points in the boundary plus those on the interior, it is a convex set.

The sentence in your book is misleading since it did not define what a circle is, and it seems to be using both interchangeably, adding more confusion.

Solution 3:

A set $A$ is called convex if for each pair $x,y\in A$ holds $$ (1-t)x+ty\in A\hspace{1cm} \forall t\in[0,1]. $$ If you have a ball like $$ B_n=\{x\in\mathbb R^n~:~\|x\|\leq 1\} $$ you can prove that it is convex. But the sphere $$ S^{n-1}=\{x\in\mathbb R^n~:~\|a\|=1\} $$ is not convex. Consider some $x\in S^{n-1}$ and you get $-x\in S^{n-1}$ but $\left(1-\frac12\right)x+\frac12(-x)=0\notin S^{n-1}$. You might thought about the disk $$B_2=\{(x,y)\in\mathbb R^2~:~x^2+y^2\leq 1\}$$ but the circle $$S^1=\{(x,y)\in\mathbb R^2~:~x^2+y^2=1\}$$ is not convex.

Solution 4:

The circle is given by the black curved line. Note that the white interior is not part of the circle.

Now consider the intersection point of the line AB and the line CD. This intersection point clearly lies on the line AB between the points A and B. The points A and B are on the circle, so if the circle were convex, then the intersection point would need to be on the circle as well. But it obviously is not; it in inside the circle. Therefore the circle is not convex.

On the other side, the inside of the circle is convex, as if you chose any two points inside the circle, then the full line segment connecting them is also inside the circle.

Solution 5:

This is a confusion caused by people using language differently. When doing mathematics, we must be quite precise in assigning meanings to different terms, which is why we take so much trouble to define them. And the point of a definition is, once we've understood what somebody means by a term, we won't make the mistake of thinking they mean something else!

So here's how we use certain common English words in ordinary ("Euclidean") geometry:

  • A circle is a closed curve in space, formed by the set of all points an equal distance from a fixed point called the centre of the circle.
  • A disk (or disc) is the set of all points contained inside (*) a circle, including its centre.

Note that a disk does not necessarily include the circle itself! (When studying topology - which is rather like geometry would be if distances weren't fixed or important - we distinguish between a closed disk, which includes the boundary or outside edge, and an open disk, which doesn't. And we often call a disk a ball - think of a squishy rubber ball.)

We also define a convex set to be one that includes every point that lies on a line segment joining any two of its points. So you can see that the inside (or interior) of a disk is a convex set, since even in a squishy rubber ball, any one point that lies between two others of the interior must be in the interior, no matter how much we squish it. But the outside (or boundary) of a disk is not a convex set, since there are points between any two points on the circle that don't also lie on the boundary, that is, they lie inside the circle, in the interior of the open disk. For example, as pointed out in the answer by celtschk, the intersection of those two chords AB and CD in your diagram is such an interior point that lies between points of the circle.

(*) Now I haven't defined what I mean by point, inside or a line segment. But in the case of a circle in Euclidean geometry, the ordinary notion of "inside" and "outside" works well enough; a point is as small a dot as we can possibly draw in a picture; and a line segment is that part of a straight line that connects two points. More generally, we can't define everything! Even in mathematics, where we try to be as precise as we can, we sometimes have to say "Enough!" and just accept certain ideas as basic, undefinable notions. We usually take a geometric point as one of those basic notions.