Jordan Curves: Ramsey Approach and Topology

Abstract

We develop a topological-combinatorial framework applying classical Ramsey theory to systems of arcs connecting points on Jordan curves and their higher-dimensional analogues. A Jordan curve Λ partitions the plane into interior and exterior regions, enabling a canonical two-coloring of every arc connecting points on Λ according to whether its interior lies in Int(Λ) or Ext(Λ). Using this intrinsic coloring, we prove that any configuration of six points on Λ necessarily contains a monochromatic triangle, and that this property is invariant under all homeomorphisms of the plane. Extending the construction by including arcs lying on Λ itself yields a natural three-coloring, from which the classical value $R\left(3,3.3\right)=17$ guarantees the appearance of monochromatic triangles for sufficiently large point sets. For infinite point sets on Λ, the infinite Ramsey theorem ensures the existence of infinite monochromatic cliques, which we likewise show to be preserved under arbitrary topological deformations. The framework extends to Jordan surfaces and Jordan–Brouwer hypersurfaces in higher dimensions, where interior, exterior, and boundary regions again generate canonical colorings and Ramsey-type constraints. These results reveal a general principle: the separation properties of codimension-one topological boundaries induce universal combinatorial structures—such as monochromatic triangles and infinite monochromatic subsets—that are stable under continuous deformations. The approach offers new links between geometric topology, extremal combinatorics, and the analysis of constrained networks and interfaces.

1. Introduction

The study of combinatorial constraints in geometric and topological settings is a classical theme connecting discrete mathematics, graph theory, and topology. In particular, Ramsey theory provides a fundamental framework for understanding the inevitability of certain substructures in sufficiently large or richly connected systems [1,2,3,4,5,6,7,8,9,10,11,12]. In parallel, the Jordan curve theorem offers a foundational topological insight: any simple closed curve in the plane partitions the plane into two complementary regions, an interior and an exterior, each of which is connected and uniquely determined by the curve [13,14,15,16,17,18]. Hales emphasized that although the statement is intuitively obvious, the rigorous proof is non-trivial, and the theorem has become a milestone in the pursuit of mathematical rigor [14]. Today, the Jordan curve theorem is considered fully proved, both mathematically and formally [14].

This work explores the intersection of these two domains. Specifically, we investigate how the Jordan curve theorem naturally induces a canonical two- or three-coloring of arcs connecting points located on a Jordan curve, or, more generally, on Jordan surfaces in higher dimensions. By classifying each connecting arc according to whether it lies entirely within the interior, the exterior, or on the boundary of the curve or surface, we obtain a well-defined colored complete graph on the vertex set of points [3,4]. The combinatorial constraints imposed by classical Ramsey numbers then guarantee the existence of monochromatic subgraphs—most notably, triangles in the two-color case and, more generally, in three-color extensions [3,4].

The central reason for combining Ramsey theory with the Jordan curve theorem is that topological separation induces a canonical and deformation-invariant coloring. A Jordan curve is a codimension-one boundary that partitions the ambient space into two uniquely defined connected regions—interior and exterior. Any arc connecting two boundary points must lie entirely in exactly one of these regions (or on the boundary itself), and this dichotomy provides a natural, intrinsic coloring of edges that is independent of geometry, metric, or embedding details. Once such a canonical coloring is present, Ramsey theory applies automatically, forcing the existence of monochromatic substructures that are, therefore, topological invariants.

We establish that these monochromatic configurations are topologically invariant: they persist under arbitrary homeomorphisms of the ambient space, reflecting intrinsic properties of the embedding rather than geometric specifics [19]. This invariance extends naturally to higher-dimensional analogues via the Jordan–Brouwer separation theorem, where surfaces and hypersurfaces replace planar curves, and connecting arcs may traverse interior, exterior, or boundary regions.

By formalizing this framework, we reveal a general principle: codimension-one separation, combined with Ramsey-type combinatorial reasoning, imposes unavoidable structural constraints on systems of connecting arcs. This provides a foundation for understanding topologically constrained networks, geodesic configurations, and other spatial systems where connectivity and separation interact under robust combinatorial rules.

The paper is organized as follows. In Section 2.1, we introduce the basic topological–combinatorial construction for arcs connecting points on a Jordan curve and define the canonical bi-coloring induced by the interior–exterior separation. Using this framework, we prove in Section 2.1 that any configuration of six points on a Jordan curve necessarily contains a monochromatic triangle, in accordance with the classical Ramsey number $R\left(3,3\right)=6$. Section 2.2 establishes that this Ramsey property is invariant under arbitrary plane homeomorphisms, showing that the appearance of monochromatic triangles is a purely topological feature independent of geometric realization. In Section 2.3, we apply the framework to geodesic connections between boundary points and derive a Ramsey-type constraint for geodesic networks constrained by a Jordan curve. Section 2.4 extends the construction to a three-coloring by including boundary arcs and invokes the classical result $R\left(3,3,3\right)=17$ to guarantee the existence of monochromatic triangles for sufficiently large point sets. Section 2.5 generalizes the approach to three and higher dimensions using the Jordan–Brouwer separation theorem, yielding analogous Ramsey constraints for arcs connecting points on Jordan surfaces and hypersurfaces. Section 2.6 addresses infinite point sets on a Jordan curve and applies the infinite Ramsey theorem to prove the existence of infinite monochromatic cliques, which are, again, shown to be topological invariants.

2. Results

2.1. Ramsey Theorem for Arcs Connecting Points Located on the Jordan Curves

Consider the Jordan curve $\Lambda$ depicted in Figure 1, where $\Lambda \subset {\mathbb{R}}^2$ denotes the Euclidean plane—the set of all ordered pairs of real numbers: ${\mathbb{R}}^2=\left\{x,y∣x,y\in \mathbb{R}\right\}$, which is the standard two-dimensional real coordinate space, equipped with the usual Euclidean topology and geometry. Curve $\Lambda$ divides the plane into two regions: the interior (denoted $Int\left(\Lambda \right)$ in Figure 1), bounded by the curve, and an unbounded exterior (denoted $Ext\left(\Lambda \right)$ in Figure 1), containing all of the nearby and far away exterior points. Consequently, ${\mathbb{R}}^2=Int\left(\Lambda \right)\cup \Lambda \cup Ext\left(\Lambda \right)$.

We consider two points belonging to Jordan curve $\Lambda$, denoted, respectively, “1” and “2” (see Figure 1). We propose to connect these points with two kinds of pathways/arcs. The interior open arc, denoted ${\gamma }_{12}^{\left(int\right)}$, is a continuous path whose endpoints lie on the curve, ${\gamma }_{12}^{\left(int\right)}\left(0\right)=1 \mathrm{a}\mathrm{n}\mathrm{d} {\gamma }_{12}^{\left(int\right)}\left(1\right)=2,$ and whose interior lies entirely in the bounded region Int(Λ); hence, ${\gamma }_{12}^{\left(int\right)}\subset Int\left(\Lambda \right)\cup \Lambda ,$ is correct (see Figure 1). These pathways are colored with gold (see Figure 1). The exterior open arc, denoted ${\gamma }_{12}^{\left(ext\right)}$, is a continuous path whose endpoints lie on the curve, ${\gamma }_{12}^{\left(ext\right)}\left(0\right)=1 \mathrm{a}\mathrm{n}\mathrm{d} {\gamma }_{12}^{\left(ext\right)}\left(1\right)=2,$ and whose interior lies entirely in the unbounded region Ext(Λ); thus, ${\gamma }_{12}^{\left(ext\right)}\subset Ext\left(\Lambda \right)\cup \Lambda ,$ is correct (see Figure 1). These pathways are colored with purple (see Figure 1).

Consider that multiple interior and exterior arcs are possible. For a given unordered pair of points, we select one admissible connecting arc (interior-type or exterior-type).

Now consider three points located on the Jordan curve, depicted in Figure 2. Pairs of points are connected with a single arc/edge, denoted ${\gamma }_{ik}, i,k=1,\dots ,3.$ The arc is defined as follows: ${\gamma }_{ik}:\left[0, 1\right]\to {\mathbb{R}}^2, {\gamma }_{ik}\left(0\right)=i, {\gamma }_{ik}\left(1\right)=k$. The edges/arcs are bi-colored. The interior open arc, denoted ${\gamma }_{ik}^{\left(int\right)}$, is a continuous path whose endpoints lie on the curve, ${\gamma }_{ik}^{\left(int\right)}\left(0\right)=i \mathrm{a}\mathrm{n}\mathrm{d} {\gamma }_{ik}^{\left(int\right)}\left(1\right)=k,$ and whose interior lies entirely in the bounded region Int(Λ); hence, ${\gamma }_{ik}^{\left(int\right)}\subset Int\left(\Lambda \right)\cup \Lambda ,$ is correct (see Figure 2). These pathways are colored with gold (see Figure 2). The exterior arc, denoted ${\gamma }_{ik}^{\left(ext\right)}$, is a continuous path whose endpoints lie on the curve, ${\gamma }_{ik}^{\left(ext\right)}\left(0\right)=i \mathrm{a}\mathrm{n}\mathrm{d} {\gamma }_{ik}^{\left(ext\right)}\left(1\right)=k,$ and whose interior lies entirely in the unbounded region Ext Λ; thus, ${\gamma }_{ik}^{\left(ext\right)}\subset Ext\left(\Lambda \right)\cup \Lambda ,$ is correct (see Figure 2). These pathways/arcs are colored with purple (see Figure 2).

The introduced coloring gives rise to the complete, bi-colored graph shown in Figure 3.

Now consider six points located on the Jordan curve $\Lambda$. We connect the points with two kind of links/arcs. Pairs of points are connected with a single arc/edge denoted ${\gamma }_{ik}, i,k=1,\dots ,6.$ The arc connecting the points is colored with gold when its interior belongs to the interior of the curve $Int\left(\Lambda \right)$; the arc connecting the points is colored with purple when its interior belongs to the exterior of the curve $Ext\left(\Lambda \right)$. It should be emphasized that the relations “to be connected with the gold link” and “to be connected with the purple link” are not transitive [11].

By the classical Ramsey theorem, as $R\left(3,3\right)=6$, every two-coloring of the edges of the complete graph on six vertices contains a monochromatic triangle. Therefore, in our configuration there exists at least one “triangle” whose three constituent arcs have the same color. In the following, we provide a formal mathematical proof of this theorem in the topological setting of arcs on the Jordan curve.

• Axiom 1: Euclidian plane: ${\mathbb{R}}^2=\left\{x,y∣x,y\in \mathbb{R}\right\}$ is the Euclidean plane equipped with the standard Euclidean topology.
• Axiom 2: Jordan curve.
  A Jordan curve $\Lambda \subset {\mathbb{R}}^2$ is a subset homeomorphic to the unit circle $S^1$. By the Jordan curve theorem, $\exists !Int\left(\Lambda \right),Ext\left(\Lambda \right)\subset {\mathbb{R}}^2,$ such that ${\mathbb{R}}^2=Int\left(\Lambda \right)\bigcup \Lambda \bigcup Ext\left(\Lambda \right)$, where $Int\left(\Lambda \right)$ and Ext$\left(\Lambda \right)$ are disjoint connected open sets.
• Axiom 3: Let $V=\left\{1,2,3,4,5,6\right\}$ denote six distinct points on $\Lambda .$
• Axiom 4: Connecting arcs. For every unordered pair of distinct points $\left\{i,k\right\}\subset V$, there exists at least one simple continuous arc ${\gamma }_{ik}:\left[0,1\right]\to {\mathbb{R}}^2, {\gamma }_{ik}\left(0\right)=i, {\gamma }_{ik}\left(1\right)=k, \mathrm{such}$ that either $\left(\forall t\in \left(0,1\right)\right)\left({\gamma }_{ik}\left(t\right)\in Int\left(\Lambda \right)\cup \Lambda \right)$ or $\left(\forall t\in \left(0,1\right)\right)\left({\gamma }_{ik}\left(t\right)\in Ext\left(\Lambda \right)\cup \Lambda \right)$. The endpoints of all the arcs lie on $\Lambda .$ We define ${\gamma }_{ik}\in {\mathsf{\Gamma }}^{\left(int\right)}⟺{\gamma }_{ik}\left(\left(0,1\right)\right)\subset Int\left(\Lambda \right)\cup \Lambda$ and ${\gamma }_{ik}\in {\mathsf{\Gamma }}^{\left(ext\right)}⟺{\gamma }_{ik}\left(\left(0,1\right)\right)\subset Ext\left(\Lambda \right)\cup \Lambda$, where ${\mathsf{\Gamma }}^{\left(int\right)}$ is the set of all arcs whose interiors (excluding endpoints) lie entirely inside the interior region $Int\left(\Lambda \right)$, and ${\mathsf{\Gamma }}^{\left(ext\right)}$ is the set of all arcs (excluding endpoints) that lie outside the Jordan curve, lying entirely in the unbounded exterior region Ext$\left(\Lambda \right).$

Definition 1.

Coloring function. Define a coloring function $C:{\left|V\right|}^2\to \left\{gold, purple\right\}$  by

$$C\left(i,k\right)=\left\{\begin{array}{c}\mathrm{gold}, if {\gamma }_{ik}\in {\mathsf{\Gamma }}^{\left(int\right)}\\ \mathrm{purple}, if {\gamma }_{ik}\in {\mathsf{\Gamma }}^{\left(ext\right)}\end{array}\right\}, \mathrm{or} C:\left(\begin{array}{c}V\\ 2\end{array}\right)\to \left\{\mathrm{gold}, \mathrm{purple}\right\}.$$

Theorem 1.

Ramsey property on the Jordan curve. Let $\Lambda \in {\mathbb{R}}^2$ be a Jordan curve, and let $V=\left\{1,\dots ,6\right\}$  be six distinct points on  $\Lambda$. For every coloring  $C:\left(\begin{array}{c}V\\ 2\end{array}\right)\to \left\{\mathrm{gold}, \mathrm{purple}\right\}$  it is true that:

$$\forall C: {\left|V\right|}^2\to \left\{\mathrm{gold}, \mathrm{purple}\right\}, \exists A\subset V\left(\left|A\right|=3\right)\forall \left\{i,k\right\}\subset A, C\left(i,k\right)=c, \mathrm{for}\mathrm{some}c\in \left\{\mathrm{gold}, \mathrm{purple}\right\}$$

(1)

That is, every two-coloring of the six connecting arcs among six points on Λ yields a monochromatic triangle. The group theory example illustrating Theorem 1 is supplied in Appendix A.

2.2. Topological Invariance of the Introduced Coloring Scheme

Now consider topological properties of the introduced coloring scheme. Under any homeomorphism h: ${\mathbb{R}}^2\to {\mathbb{R}}^2$, $h\left(\Lambda \right)$ is a Jordan curve, and $C^{\prime }\left(\left\{i,k\right\}\right)=C\left(\left\{h\left(i\right),h\left(k\right)\right\}\right)$ defines the same coloring structure because

$$h\left(Int\left(\Lambda \right)\right)=Int\left(h\left(\Lambda \right)\right); h\left(Ext\left(\Lambda \right)\right)=Ext\left(h\left(\Lambda \right)\right).$$

(2)

Hence, the existence of a monochromatic triangle is a topological invariant under plane homeomorphisms. Let us supply a formal proof to this.

Proof. 

Consider $\Lambda \subset {\mathbb{R}}^2$, which is a Jordan curve, with the interior Int(Λ) and exterior $Ext\left(\Lambda \right)$. $V=\left\{\mathrm{1,2},\mathrm{3,4},\mathrm{5,6}\right\}\subset \Lambda$ are six distinct points. For each unordered pair $\left\{i,k\right\}\subset V$ there is a simple arc ${\gamma }_{ik}$ joining i and k and either ${\gamma }_{ik}\left(\left(0,1\right)\right)\subset Int\left(\Lambda \right)\cup \Lambda$ or ${\gamma }_{ik}\left(\left(0,1\right)\right)\subset Ext\left(\Lambda \right)\cup \Lambda .$ Arcs ${\gamma }_{ik}$ are colored. The coloring function is defined by Definition 1.

Let $h: {\mathbb{R}}^2\to {\mathbb{R}}^2$ be a homeomorphism and define ${\Lambda }^{\prime }≔h\left(\Lambda \right)$ and $V^{\prime }≔h\left(V\right)=\left\{h\left(1\right),\dots ,h\left(6\right)\right\}\subset {\Lambda }^{\prime }$. Define the induced coloring $V^{\prime }$ on $C^{\prime }$ by the same rule (see Definition 1) applied to arcs between points of $V^{\prime }$ (or equivalently by $C^{\prime }\left(h\left(i\right),h\left(k\right)\right)≔C\left(i,k\right).$ We prove the following:

$$\left(\exists \mathrm{monochromatic}\mathrm{triangle}\mathrm{in}\left(V,C\right)\right)⟺\left(\exists \mathrm{monochromatic}\mathrm{triangle}\mathrm{in}\left(V^{\prime },C^{\prime }\right)\right).$$

(3)

Because h is a homeomorphism, it is a bijection with continuous inverse; thus, it maps open sets to open sets and connected sets to connected sets. By the Jordan curve theorem, Int(Λ) and $Ext\left(\Lambda \right)$ are the two complementary connected open components of ${\mathbb{R}}^2\setminus \Lambda$. Hence, $h\left(Int\left(\Lambda \right)\right)$ and $h\left(Ext\left(\Lambda \right)\right)$ are complementary connected open components of ${\mathbb{R}}^2\setminus h\left(\Lambda \right)={\mathbb{R}}^2\setminus {\Lambda }^{\prime }$. Uniqueness of the two complementary components implies the following:

$$h\left(Int\left(\Lambda \right)\right)=Int\left({\Lambda }^{\prime }\right), h\left(Ext\left(\Lambda \right)\right)=Ext\left({\Lambda }^{\prime }\right).$$

(4)

We prove that arcs and colors are preserved by h. Let ${\gamma }_{ik}:\left[0,1\right]\to {\mathbb{R}}^2$ be a simple arc with ${\gamma }_{ik}\left(0\right)=i, {\gamma }_{ik}\left(1\right)=k$. Consider the image arc ${\gamma }_{h\left(i\right)h\left(k\right)}^{\prime }=h\circ {\gamma }_{ik}:\left[0,1\right]\to {\mathbb{R}}^2$. This is a simple continuous arc joining h(i) and h(k). If ${\gamma }_{ik}\left(0,1\right)\subset Int\left(\Lambda \right),$ then, by Equation (2),

$${\gamma }_{h\left(i\right)h\left(k\right)}^{\prime }\left(\left(0,1\right)\right)=h\left({\gamma }_{ik}\left(0,1\right)\right)\subset h\left(Int\left(\Lambda \right)\right)=Int\left({\Lambda }^{\prime }\right),$$

(5)

so, ${\gamma }_{h\left(i\right)h\left(k\right)}^{\prime }\in {\mathsf{\Gamma }}^{\left(int\right)}$ for ${\Lambda }^{\prime }$. Likewise, if ${\gamma }_{ik}\left(0,1\right)\subset Ext\left(\Lambda \right)$, then, by Equation (2), ${\gamma }_{h\left(i\right)h\left(k\right)}^{\prime }\in {\mathsf{\Gamma }}^{\left(ext\right)}.$ Therefore, the color of the edge $\left\{i,k\right\}$ equals the color of the edge $\left\{h\left(i\right),h\left(k\right)\right\}$; formally, we obtain

$$C\left(i,k\right)=C^{\prime }\left(h\left(i\right),h\left(k\right)\right) \mathrm{for} \mathrm{every} \left\{i,k\right\}\subset V.$$

(6)

Now consider the image of a monochromatic triangle. Suppose $A\subset V$ with $\left|A\right|=3$ is a monochromatic triangle in (V, C), i.e., there exists coloring $c\in \left\{\mathrm{gold}, \mathrm{purple}\right\}$, such that $\forall \left\{i,k\right\}\subset A,$ $C\left(i,k\right)=c.$ Let $A^{\prime }:=h\left(A\right)\subset V^{\prime }.$ From Equation (6), we have for every $\left\{i,k\right\}\subset A$ the following:

$$C^{\prime }\left(h\left(i\right),h\left(k\right)\right)=C\left(i,k\right)=c.$$

(7)

Thus, A′ is a three-element subset of V′, whose three edges are all colored c, i.e., a monochromatic triangle in $\left(V^{\prime },C^{\prime }\right)$. Conversely, as $h^{-1}$ is also a homeomorphism, the same argument with $h^{-1}$ shows that any monochromatic triangle in (V′, C′) pulls back to a monochromatic triangle in (V, C). Hence, the existence of a monochromatic triangle is equivalent for (V, C) and (V′, C′). □

We conclude that because a homeomorphism h: ${\mathbb{R}}^2\to {\mathbb{R}}^2$ maps interiors to interiors and exteriors to exteriors, it preserves the classification of each connecting arc as interior-type or exterior-type. Therefore, the coloring induced by interior/exterior is preserved under h, and, consequently, the statement “there exists a monochromatic triangle among the six points on Λ” is invariant under any such h. Thus, Theorem 2 is proven:

Theorem 2.

The existence of a monochromatic triangle in the bi-colored complete graph induced by the interior/exterior coloring of arcs on a Jordan curve Λ is invariant under every plane homeomorphism $h: {\mathbb{R}}^2\to {\mathbb{R}}^2$.

2.3. Jordan Curves, Ramsey Coloring, and Geodesic Lines

We now demonstrate a corollary that follows directly from the introduced approach. Consider three points $\left\{1,2,3\right\}$ located on the Jordan curve $\Lambda$, as illustrated in Figure 4. The points are connected with the geodesic arcs denoted ${\gamma }_{ik}^{\left(g\right)}, i,k=1,\dots ,3$ [20]. If our Jordan curve $\Lambda$ is embedded into the Euclidian plane, the geodesic arcs ${\gamma }_{ik}^{\left(g\right)}$ are simply straight line segments, as shown in Figure 4.

We impose the following restriction: geodesic arcs (with endpoints excluded) completely belong to the interior of the curve $Int\left(\Lambda \right)$, or, alternatively, to the exterior of the curve $Ext\left(\Lambda \right)$. Obviously, this restriction may be frustrated. However, if this restriction is kept true, the following corollary immediately stems from Theorems 1 and 2.

Corollary 1.

Let Λ be a Jordan curve, and let six distinct points $\left\{1,\dots ,6\right\}$ be located on  $\Lambda$. Connect each pair of points i, k with a geodesic arc  ${\gamma }_{ik}, i,k=1,\dots ,6.$  Assume that the interior of each geodesic arc  ${\gamma }_{ik}$  lies entirely either in the interior region Int(Λ) or in the exterior region Ext(Λ). Color  ${\gamma }_{ik}$  gold if it belongs to  $Int\left(\Lambda \right)$  and purple if it belongs to Ext(Λ). Then, every such two-coloring of the complete set of geodesic arcs among the six points on Λ contains a monochromatic triangle.

The corollary implies a universal combinatorial restriction on any geodesic network formed by six points on a Jordan curve, provided each geodesic lies entirely in either the interior or exterior of the curve (the imposed restriction is kept, namely, each geodesic arc ${\gamma }_{ik}$ lies entirely either in the interior region Int(Λ) or in the exterior region Ext(Λ)). Regardless of the specific geometry of the embedding (Euclidean, spherical, or Riemannian), the geodesic connection pattern cannot be arbitrary: a monochromatic triangle must necessarily appear. This establishes a Ramsey-type inevitability in geodesic configurations—a purely topological constraint independent of curvature or metric form. It means that any sufficiently connected system of geodesics on or around a closed boundary possesses a minimal region of local geometric coherence (the monochromatic triangle).

Now address the topological aspect of the corollary. Because the coloring (interior/exterior) is invariant under plane homeomorphisms, the corollary suggests that triples of mutually interior (or mutually exterior) geodesics represent topologically stable structures. Such monochromatic geodesic triangles can be viewed as minimal invariant configurations under continuous deformations of the curve. In geodesic theory, this corresponds to stable clusters of shortest paths or mutually non-intersecting minimal connections that persist under deformation.

From a metric geometry perspective, the corollary constrains how geodesic triangulations of regions bounded by Jordan curves can be formed. It guarantees the existence of a coherent triangular cell entirely contained either in the interior or exterior region, for arbitrary six points located on the Jordan curve.

2.4. Three-Colored Approach to the Points Located on the Jordan Curve

Consider the Jordan curve $\Lambda$ depicted in Figure 1 and the pair of points located on $\Lambda$. Now we propose to connect the points with three kinds of pathways/arcs. The interior of the first kind of pathway colored gold and denoted ${\gamma }_{12}^{\left(int\right)}$ belongs to the interior of the Jordan curve $Int\left(\Lambda \right)$, as shown in Figure 1; ${\gamma }_{12}^{\left(int\right)}\subset Int\left(\Lambda \right)\cup \Lambda$. The interior second kind of pathway/arc, which is colored purple, belongs to the exterior of the Jordan curve E; ${\gamma }_{12}^{\left(ext\right)}\subset Ext\left(\Lambda \right)\cup \Lambda$, and the third kind of the pathway colored black belongs to the Jordan curve itself, ${\gamma }_{12}^{\left(\Lambda \right)}\subset \Lambda$. The endpoints of the arcs lie on the Jordan curve $\Lambda .$ This coloring gives rise to the triple-colored scheme, equivalent to the complete, triple-colored Ramsey graph, in which the points belonging to $\Lambda$ are the vertices of the graph, and the edges are colored alternatively with black, gold, and purple according to the aforementioned coloring procedure. The Ramsey number $R\left(3,3,3\right)=17.$ This result gives rise to the following theorem:

Theorem 3.

Let Λ be a Jordan curve in the plane and let $S=\left\{1,\dots ,n\right\}\subset \Lambda$ be a set of distinct points on $\Lambda .$ For every unordered pair $\left\{i,j\right\}\subset S$, assume that one selects exactly one connecting arc of one of the three types:

(i) 

an interior arc ${\gamma }_{ij}^{\left(int\right)} satisfying$${\gamma }_{ij}^{\left(int\right)}\subset Int\left(\Lambda \right)\cup \Lambda$  (color the edge gold);

(ii) 

an exterior arc ${\gamma }_{ij}^{\left(ext\right)} satisfying$${\gamma }_{ij}^{\left(ext\right)}\subset Ext\left(\Lambda \right)\cup \Lambda$ (color the edge purple);

(iii) 

a boundary arc ${\gamma }_{ij}^{\left(\Lambda \right)}$$satisfying {\gamma }_{ij}^{\left(\Lambda \right)}\subset \Lambda$ (color the edge black).

Thus, every unordered pair  $\left\{i,j\right\}$  is assigned exactly one of three colors (gold, purple, black). If  $n\ge 17$, then the resulting three-colored complete graph on the vertex set S contains a monochromatic triangle. In other words, for any choice of 17 points on Λ and any admissible assignment of the three arc-types to each pair, there exist three indices,  $a,b,c\in S$, for which the three connecting arcs  ${\gamma }_{ab}, {\gamma }_{bc}, {\gamma }_{ca}$  all have the same type (all interior, all exterior, or all on Λ).

The statement is a direct translation of the classical Ramsey theorem for three colors: the Ramsey number $R\left(3,3,3\right)=17,$ so every three-coloring of the edges of the complete graph $K_{17}$ contains a monochromatic triangle. Our coloring produces a three-coloring of the complete graph on S (the color of edge $\left\{i,j\right\}$ is determined by which of the three arc-types was chosen). Therefore, for $n\ge 17$, a monochromatic triangle exists. It is noteworthy, that in contrast to gold and purple arcs, black arcs are unique for a given pair of the points on the given Jordan curve $\Lambda .$ The extension to geodesic lines is obvious. Indeed, when geodesic lines ${\gamma }_{ik}^{\left(g\right)}$, connecting 17 given points, which lie on the Jordan curve $\Lambda$, and ${\gamma }_{ik}^{\left(g\right)}$ lie in the interior or exterior of $\Lambda$ or on the curve $\Lambda$ itself, the three-colored scheme may be introduced, and the appearance of the monochromatic triangle is inevitable.

2.5. 3D and nD Extension of the Suggested Approach

The introduced three-colored approach enables the 3D extension. Now we work in the Euclidean three-space:

• Axiom 1. Euclidean space: ${\mathbb{R}}^3\left\{\left(x,y,z\right)∣x,y,z\in \mathbb{R}\right\}$.
• Axiom 2. Jordan surface. A Jordan surface is a topological embedding of the two-sphere: $\Sigma \subset {\mathbb{R}}^2, \Sigma \simeq S^2$. By the Jordan–Brouwer separation theorem, there exist two connected open sets: $Int(\Sigma )$ and $Ext\left(\Sigma \right)\subset {\mathbb{R}}^3$, such that ${\mathbb{R}}^3=Int\left(\Sigma \right)\bigcup \Sigma \bigcup Ext\left(\Sigma \right)$, with $Int(\Sigma )$ bounded and $Ext\left(\Sigma \right)$ unbounded. The two regions are disjoint, with each having boundary of exactly $\Sigma$. This is the 3D analogue of the Jordan curve theorem.
• Axiom 3. Let vertex set $V=\left\{1,\dots ,N\right\}$ be N distinct points lying on the Jordan surface $\Sigma .$
• Axiom 4. Connecting arcs. For every unordered pair of distinct points $\left\{i,k\right\}\subset V$, there exists at least one simple continuous arc ${\gamma }_{ik}:\left[0,1\right]\to {\mathbb{R}}^3, {\gamma }_{ik}\left(0\right)=i, {\gamma }_{ik}\left(1\right)=k$, such that exactly one of the following holds:

${\gamma }_{ik}\left(0.1\right)\subset Int\left(\Sigma \right)\bigcup \Sigma$ (the interior path); ${\gamma }_{ik}\left(0.1\right)\subset Ext\left(\Sigma \right)\cup \Sigma$ (the exterior path); ${\gamma }_{ik}\left(0.1\right)\subset \Sigma$ (the surface path). We define the three classes of paths ${\mathsf{\Gamma }}^{\left(int\right)}$, ${\mathsf{\Gamma }}^{\left(ext\right)}$, ${\mathsf{\Gamma }}^{\left(surf\right)}$ as the sets of simple arcs whose interiors lie entirely in $Int\left(\Sigma \right),$ $Ext\left(\Sigma \right)$, and $\Sigma$, respectively. Now we define three-coloring:

$$C_{ik}=\left\{\begin{array}{c}\mathrm{gold}\mathrm{if}{\gamma }_{ik}\in {\mathsf{\Gamma }}^{\left(int\right)}\\ \mathrm{purple}\mathrm{if}{\gamma }_{ik}\in {\mathsf{\Gamma }}^{\left(ext\right)}\\ \mathrm{black}\mathrm{if}{\gamma }_{ik}\in {\mathsf{\Gamma }}^{\left(surf\right)}\end{array}\right\}.$$

(8)

Equivalently, C is a map $C:\left(\begin{array}{c}V\\ 2\end{array}\right)\to \left\{\mathrm{gold},\mathrm{purple},\mathrm{black}\right\}$.

Thus, the following extension of Theorem 3 emerges.

Theorem 4.

Let $\Sigma \subset {\mathbb{R}}^3$ be a Jordan surface and let $V\subset \Sigma$ be a set of 17 distinct points. For every choice of simple connecting arcs, as in Axiom 4 and the induced three-coloring defined by Equation (8), $C:\left(\begin{array}{c}V\\ 2\end{array}\right)\to \left\{gold, purple, black\right\}$, there exists a monochromatic triangle: 

$$\forall C:\left(\begin{array}{c}V\\ 2\end{array}\right)\to \left\{\mathrm{gold}, \mathrm{purple}, \mathrm{black}\right\}, \exists A\subset V,A=3, \mathrm{all}\mathrm{edges}\mathrm{of}A\mathrm{have}\mathrm{the}\mathrm{same}\mathrm{color}.$$

Because the coloring is purely combinatorial, the result reduces to the classical Ramsey theory for three colors. Theorem generalizes to every dimension  $n\ge 3$  with the same simple reduction to classical Ramsey theory, provided we keep the same hypotheses (points lie on a hypersurface homeomorphic to a sphere and every pair of points is assigned one allowed connecting arc whose interior lies entirely in exactly one of the regions provided by Jordan–Brouwer theorem). The topology only determines the allowed types of edge; the combinatorial Ramsey conclusion then follows immediately. In contrast to the case of  $\Lambda \subset {\mathbb{R}}^2$, for  $\Sigma \subset {\mathbb{R}}^3$, black arcs are not unique for a given pair of the points.

The extension for the bi-colored scheme applied to the n-dimension space is trivial and it is formulated as follows:

Let $\Sigma \subset {\mathbb{R}}^n$ be a Jordan surface and let $V\subset \Sigma$ be a set of six distinct points. The points are connected with the arcs whose interiors belong to the exterior, or, alternatively, interior of the surface. Coloring function is defined in Section 2.1. For every coloring $C:\left(\begin{array}{c}V\\ 2\end{array}\right)\to \left\{\mathrm{gold},\mathrm{purple}\right\}$ it is true that $\forall C: {\left|V\right|}^2\to \left\{\mathrm{gold}, \mathrm{purple}\right\}, \exists A\subset V\left(\left|A\right|=3\right)\forall \left\{i,k\right\}\subset A,C\left(i,k\right)=c, \mathrm{for}\mathrm{some}c\in \left\{\mathrm{gold},\mathrm{purple}\right\}$.

2.6. Ramsey Approach to the Infinite Set of Points on the Jordan Curve

Let $\Lambda \subset {\mathbb{R}}^2$ be a Jordan curve, and let $X\subset \Lambda$ be an infinite set of points. For any unordered pair $\left\{A,B\right\}\subset X$, assign a color according to the following rule: the edge AB is colored gold if the interior of the arc connecting A and B lies entirely in the interior region $Int\left(\Lambda \right)$; the edge AB is colored purple if the interior of the arc connecting A and B lies entirely in the exterior region $Ext\left(\Lambda \right)$. The assignment of each pair to exactly one of the two colors is given by Axioms 1–4 of Section 2.1, which guarantee the well-definedness of the interior/exterior arc classification. Then, according to the infinite Ramsey theorem, the complete graph $K_X$ on the vertex set X, with edges colored gold and purple, contains an infinite monochromatic clique. That is, there exists an infinite subset $Y\subset X$ such that all edges between points of Y have the same color (either all gold or all purple).

Proof. 

By Axioms 1–4 of Section 2.1, the construction described above yields a two-coloring: $\chi :\left(\begin{array}{c}X\\ 2\end{array}\right)\to \left\{\mathrm{g}\mathrm{o}\mathrm{l}\mathrm{d}, \mathrm{p}\mathrm{u}\mathrm{r}\mathrm{p}\mathrm{l}\mathrm{e}\right\}$ of the complete graph on the infinite vertex set X. The infinite Ramsey theorem states that for every infinite set X and every two-coloring of its two-element subsets, there exists an infinite subset Y ⊂ X such that all pairs $\left\{A,B\right\}\subset Y$ have the same color. Applying the infinite Ramsey theorem to the coloring $\chi$, we obtain an infinite subset $Y\subset X$ such that every pair of points in Y is colored identically—either all gold or all purple. Thus, $K_Y$ is an infinite monochromatic clique embedded in the edge-colored graph determined by Λ. □

Again, homeomorphisms preserve interior and exterior regions and they also preserve interior/exterior classification of arcs. Thus, the infinite monochromatic clique is carried to another infinite monochromatic clique. We conclude that $K_Y$ is a topological invariant.

3. Discussion

The results presented in this work demonstrate that the classical Ramsey theorem, when combined with the topological structure imposed by the Jordan curve theorem, yields a family of universal combinatorial constraints on any system of arcs connecting points located on a Jordan curve or its higher-dimensional analogues. The crucial mechanism behind these constraints is that a Jordan curve Λ partitions the plane into two topologically distinguished regions, namely, its interior and exterior—which, in turn, define a natural and robust two-coloring of all connecting arcs.

These results reveal a general principle: the separation properties of codimension-one topological boundaries, i.e., subsets whose dimension is exactly one less than that of the ambient space and which partition the surrounding space into distinct regions. For example, a Jordan curve in the plane $\left({\mathbb{R}}^2\right)$ is a one-dimensional boundary separating the plane into interior and exterior regions, and a Jordan surface in three-dimensional space $\left({\mathbb{R}}^3\right)$ is a two-dimensional boundary separating space into interior and exterior. Such boundaries provide the topological mechanism by which connecting arcs can be classified as interior, exterior, or boundary-type, enabling the application of Ramsey-theoretic combinatorial constraints in a manner that is invariant under continuous deformations of the ambient space.

Theorem 1 shows that even in the simplest case of six points on Λ, the induced coloring must contain at least one monochromatic triangle. This statement is purely combinatorial, yet its applicability is purely topological: the conclusion depends neither on the geometric shape of Λ nor on the specific form of the connecting arcs, but only on the separation properties provided by the Jordan curve. Theorem 2 strengthens this conclusion by proving that the existence of such monochromatic triangles is invariant under arbitrary plane homeomorphisms, and therefore reflects an intrinsic topological feature of any arc-configuration on Λ.

The framework extends naturally in two directions. First, by allowing a third class of arcs—those lying on Λ itself—one obtains a three-coloring corresponding to three types of connectability (interior, exterior, boundary). Ramsey theory then forces the appearance of monochromatic triangles once the number of points reaches the classical threshold $R\left(3,3.3\right)=17$. Second, by replacing Jordan curves with Jordan surfaces (or more generally, Jordan–Brouwer hypersurfaces), the interior/exterior/surface classification persists in higher dimensions, enabling analogous results for arc systems in ${\mathbb{R}}^3$ and ${\mathbb{R}}^n$. In all cases, the combinatorial Ramsey constraints survive because the topological separation properties are preserved under continuous deformations.

Finally, the infinite version of Ramsey’s theorem shows that for any infinite point set on Λ the interior/exterior coloring necessarily produces an infinite monochromatic clique. As homeomorphisms also preserve this structure, such cliques constitute stable, deformation-invariant combinatorial patterns within the arc-graph induced by Λ.

An important feature of the present framework is that it does not rely on any metric, differentiable, or smoothness assumptions. The arguments combine purely topological notions—continuity, connectedness, and separation, as guaranteed by the Jordan and Jordan–Brouwer theorems—with purely combinatorial Ramsey reasoning. In particular, the arcs connecting boundary points need not be smooth curves, and no notion of distance, curvature, or angle is required. This metric-independence significantly strengthens the universality of the approach and highlights its applicability to highly irregular, non-smooth, or abstract connectivity structures.

Overall, these results reveal that the interaction between codimension-one topological boundaries and combinatorial colorings gives rise to structurally unavoidable configurations—monochromatic triangles and infinite monochromatic subsets—that persist independently of geometric details. This suggests potential applications to geometric graph theory, topological network analysis, and the study of geodesic or minimal-path configurations constrained by closed boundaries.

We now discuss the limitations of the suggested framework. While the Ramsey–Jordan approach extends formally to higher dimensions via the Jordan–Brouwer separation theorem, an essential restriction must be emphasized. The construction relies crucially on codimension-one separation [21,22]. For boundaries of higher codimension, no canonical interior/exterior dichotomy exists, and the induced coloring scheme breaks down. To illustrate this point, consider a circle $S^1\subset {\mathbb{R}}^3$. In contrast to a Jordan curve in the plane, $S^1$ does not separate the ambient space: the complement ${\mathbb{R}}^3\setminus S^1$ is connected. Consequently, there is no topologically defined notion of “interior” or “exterior,” and no canonical way to say that a path connecting two points on $S^1$ lies on one side of the circle. Any arc joining two points on $S^1$ can be continuously deformed into any other such arc without crossing $S^1$. As a result, there is no topologically distinguished partition of connecting arcs, and therefore no intrinsic two-coloring invariant under homeomorphisms. In this situation, the Ramsey–Jordan construction cannot be formulated in a canonical way and thus does not apply. This reflects the general topological fact that separation of the ambient space is a property unique to codimension-one embeddings.

4. Conclusions

In this work, we established a unified topological-combinatorial framework in which the Jordan curve theorem and classical Ramsey theory interact to produce universal structural constraints on arc-configurations supported on Jordan curves and their higher-dimensional analogues. By assigning colors to arcs according to whether they lie in the interior or exterior of a Jordan curve, we obtain a canonical bi-colored complete graph whose structure is independent of geometric details and determined solely by the topology of the embedding.

These results highlight a general principle: the separation properties of codimension-one topological boundaries, i.e., subsets whose dimension is exactly one less than that of the ambient space and which partition the surrounding space into distinct regions, govern the combinatorial constraints. For example, a Jordan curve in ${\mathbb{R}}^2$ is a one-dimensional boundary separating the plane into interior and exterior regions, while a Jordan surface in ${\mathbb{R}}^3$ is a two-dimensional boundary separating space into interior and exterior. The codimension-one property ensures that arcs connecting points can be consistently classified as interior-, exterior-, or boundary-type, enabling the application of Ramsey-theoretic reasoning in a topologically invariant manner. Arcs may be geodesic lines connecting the points located on the boundaries. Ramsey theorem imposes constraints on the networks formed by colored geodesic lines. Limitations of the suggested approach are discussed.

The finite Ramsey results show that any configuration of sufficiently many points on a Jordan curve necessarily contains monochromatic cycles—most notably, monochromatic triangles in the two-color setting of Theorem 1, and monochromatic triangles in the three-color extension governed by the classical number $R\left(3,3,3\right)=17$. The infinite version of Ramsey’s theorem guarantees the presence of infinite monochromatic cliques in any infinite point set on Λ. Crucially, we proved that these monochromatic configurations are invariant under all homeomorphisms of the plane: the interior/exterior arc-classification itself is a topological invariant; thus, the resulting Ramsey-forced structures inherit this invariance.

The framework extends naturally beyond the plane. By invoking the Jordan–Brouwer separation theorem, we showed that analogous colorings and Ramsey phenomena arise for arcs lying inside, outside, or on Jordan surfaces and hypersurfaces in higher dimensions. This demonstrates that the interplay between codimension-one separation topology and Ramsey theory is not restricted to curves but reflects a deeper combinatorial rigidity inherent to such embeddings. Codimension-one separation is crucial for the validity of the introduced approach.

Taken together, these results reveal a robust principle: whenever a codimension-one boundary partitions space into distinct regions, the induced colorings of connecting arcs inevitably contain universal Ramsey-type substructures that remain stable under continuous deformations. This principle opens promising avenues for applications in geometric graph theory, boundary-constrained networks, topological data analysis, and physical systems in which minimal or constrained paths interact with separating surfaces.