Related papers: On the Constructive Theory of Jordan Curves

According to a general definition of discrete curves, surfaces, and manifolds. This paper focuses on the Jordan curve theorem in 2D discrete spaces. The Jordan curve theorem says that a (simply) closed curve separates a simply connected…

This paper gives a concise proof of the Jordan curve theorem on discrete surfaces. We also embed the discrete surface in the 2D plane to prove the original version of the Jordan curve theorem. This paper is a simple version of L. Chen, Note…

We prove the Jordan curve theorem by generalizing the sweepline algorithm for trapezoidal decomposition of a polygon. Our proof uses Zorn's lemma (or, equivalently the axiom of choice). Though several proofs have been given for the Jordan…

This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assisted by the Coq system. Fundamental properties are proven by…

A new elementary nonstandard proof of the Jordan curve theorem is given. The proof (the technical part consists of 4 pages) is self-contained, except for the Jordan theorem for polygons taken for granted.

We prove that an analogue of Jordan's theorem on finite subgroups of general linear groups holds for the groups of biregular automorphisms of elliptic ruled surfaces. This gives a positive answer to a question of Vladimir L. Popov.

We use Batson's lower bound on the nonorientable slice genus of $(2n,2n-1)$-torus knots to prove that for any $n \geq 2$, every smooth Jordan curve has an inscribed rectangle of of aspect ratio $\tan(\frac{\pi k}{2n})$ for some $k\in…

The fixed-point index of a homeomorphism of Jordan curves measures the number of fixed-points, with multiplicity, of the extension of the homeomorphism to the full Jordan domains in question. The now-classical Circle Index Lemma says that…

Although there are many simple proofs of Jordan's decomposition theorem in the literature (see [1], the references mentioned there, and [2]), our proof seems to be even more elementary. In fact, all we need is the theorem on the dimensions…

Let $J$ be a simple closed curve in $\mathbb R^{k}$ $(k\geq2)$ that is differentiable with non-zero derivative at a point $A_0\in J$. For a tuple of positive reals $a_1,\cdots,a_n$ $(n\geq3)$, each of which is less than the sum of the…

We characterize the space of restrictions of real rational functions to certain algebraic Jordan curves in the plane via the Dirichlet-to-Neumann map associated to the domain in the complex plane bounded by the curve and its Bergman kernel.…

We prove that an analogue of Jordan's theorem on finite subgroups of general linear groups holds for the groups of biregular automorphisms of algebraic surfaces. This gives a positive answer to a question of Vladimir L. Popov.

We classify the set of quadrilaterals that can be inscribed in convex Jordan curves, in the continuous as well as in the smooth case. This answers a question of Makeev in the special case of convex curves. The difficulty of this problem…

We prove that a Jordan $\calc^1$-curve in the plane contains any non-flat triangle up to translation and homothety with positive ratio. This is false if the curve is not $C^1$. The proof uses a bit configuration spaces, differential and…

The classical Jordan curve theorem for digital curves asserts that the Jordan curve theorem remains valid in the Khalimsky plane. Since the Khalimsky plane is a quotient space of $\mathbb R^2$ induced by a tiling of squares, it is natural…

In this survey paper we give an overview over constructions of geometries associated to Jordan structures (algebras, triple systems and pairs), featuring analogs of these constructions with the Lie functor on the one hand and with the…

We explicitly construct simple, piecewise minimizing geodesic, arbitrarily fine interpolation of simple and Jordan curves on a Riemannian manifold. In particular, a finite sequence of partition points can be specified in advance to be…

The notion of a topological Jordan decomposition of a compact element of a reductive p-adic group has proven useful in many contexts. In this paper, we generalise it to groups defined over fairly general discretely-valued fields and prove…

Let $W$ be a quasiprojective variety over an algebraically closed field of characteristic zero. Assume that $W$ is birational to a product of a smooth projective variety $A$ and the projective line. We prove that if $A$ contains no rational…

If a Jordan curve {\sigma} has a one-sided conformal collar with "good" properties, then, using the Reflection principle, we show that any other conformal collar of {\sigma} from the same side has the same "good" properties. A particular…