相关论文: A proof of Jordan curve theorem based on the sweep…

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…

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…

Here is present short proofing of Jordan's theorem about dividing of flat on two disjoint subsets by one closed curve.

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…

The Jordan Curve Theorem (JCT) states that a simple closed curve divides the plane into exactly two connected regions. We formalize and prove the theorem in the context of grid graphs, under different input settings, in theories of bounded…

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.

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…

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…

Determining the Jordan canonical form of the tensor product of Jordan blocks has many applications including to the representation theory of algebraic groups, and to tilting modules. Although there are several algorithms for computing this…

Using a definition of Jordan curve similar to that of Dieudonn\'e, we prove that our notion is equivalent to that used by Berg et al. in their constructive proof of the Jordan Curve Theorem. We then establish a number of properties of…

In this paper, we calculate the Jordan decomposition (or say, the Jordan canonical form) for a class of non-symmetric Ornstein-Uhlenbeck operators with the drift coefficient matrix being a Jordan block and the diffusion coefficient matrix…

This research is motivated by studying image processing algorithms through a topological lens. The images we focus on here are those that have been segmented by digital Jordan curves as a means of image compression. The algorithms of…

We prove a Jordan decomposition theorem for minimal connected simple groups of finite Morley rank with non-trivial Weyl group. From this, we deduce a precise structural description of Borel subgroups of this family of simple groups. Along…

We introduce some basic notions and results for quaternionic linear operators analogous to those for complex linear operators. Our main result is to prove the additive and multiplicative Jordan-Chevalley decompositions for quaternionic…

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 review and possibly add some new variant to the existing derivations of the formula for the area of Jordan lattice polygons drawn on two-dimensional lattices. The formula is known as Pick's theorem and is related to the number theory…

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…

We publicise a proof of the Jordan Curve Theorem which relates it to the Phragmen-Brouwer Property, and whose proof uses the van Kampen theorem for the fundamental groupoid on a set of base points.

The Jordan Canonical Form of a matrix is highly sensitive to perturbations, and its numerical computation remains a formidable challenge. This paper presents a regularization theory that establishes a well-posed least squares problem of…

In this paper we provide a proof of the Carleson $\varepsilon^2$-conjecture. This result yields a characterization (up to exceptional sets of zero length) of the tangent points of a Jordan curve in terms of the finiteness of the associated…