Related papers: Injectivity and the Law of Demand

We introduce real induction, a proof technique analogous to mathematical induction but applicable to statements indexed by an interval on the real line. More generally we give an inductive principle applicable in any Dedekind complete…

Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus involving induction and co-induction. These proof principles…

We formulate explicitly the necessary and sufficient conditions for the local invertibility of a field transformation involving derivative terms. Our approach is to apply the method of characteristics of differential equations, by treating…

We give sharp conditions on a local biholomorphism $F:X \to \mathbb C^{n}$ which ensure global injectivity. For $n \geq 2$, such a map is injective if for each complex line $l \subset \mathbb C^{n}$, the pre-image $F^{-1}(l)$ embeds…

We prove that under some extra hypothesis, given an \'etale endomorphism of a normal irreducible Noetherian and simply connected scheme, if the endomorphism is surjective then it is injective. The additional assumption concerns the…

A central question in verification is characterizing when a system has invariants of a certain form, and then synthesizing them. We say a system has a $k$ linear invariant, $k$-LI in short, if it has a conjunction of $k$ linear (non-strict)…

We prove that combinatorial demand functions are characterized by two properties: continuity and the law of demand.

We consider non-singular and Jacobian maps whose components are polynomial in the variable y. We prove that if a map has y-degree one, then it is the composition of a triangular map and a quasi-triangular map. We also prove that…

We present a generalization of first-order unification to a term algebra where variable indexing is part of the object language. We exploit variable indexing by associating some sequences of variables ($X_0,\ X_1,\ X_2,\dots$) with a…

Given a functional for a one-dimensional physical system, a classical problem is to minimize it by finding stationary solutions and then checking the positive definiteness of the second variation. Establishing the positive definiteness is,…

We construct a realizability model of linear dependent type theory from a linear combinatory algebra. Our model motivates a number of additions to the type theory. In particular, we add a universe with two decoding operations: one takes…

We show that S.Vavasis' sufficient condition for global invertibility of a polynomial mapping can be easily generalized to the case of a general Lipschitz mapping. Keywords: Invertibility conditions, generalized Jacobian, nonsmooth…

It is proved that for a Jacobi pair $(F,G)\in C[x,y]^2$, the Keller mapping: $(a,b)\mapsto(F(a,b),G(a,b))$ for $(a,b)\in C^2$, is injective. In particular, the $2$-dimensional Jacobi conjecture holds.

We prove some injectivity theorems. Our proof depends on the theory of mixed Hodge structures on cohomology groups with compact support. Our injectivity theorems would play crucial roles in the minimal model theory for higher-dimensional…

The fundamental theorem of affine geometry is a classical and useful result. For finite-dimensional real vector spaces, the theorem roughly states that a bijective self-mapping which maps lines to lines is affine. In this note we prove…

Let $F: \mathbb{R}^n\to\mathbb{R}^n$ be a $C^{\infty}$ map such that $DF(x)$ is invertible for every $x\in\mathbb{R}^n$. Although being a local diffeomorphism, $F$ is not necessarily globally injective if $n\geq2$. Finding additional…

The main result of this paper is to prove the strong real Jacobian conjecture under the symmetric assumption and reveals the link between it and the Jacobian conjecture. Precisely, we assume that $F: \mathbb{R}^n \to \mathbb{R}^n$ is of…

Many practical problems can be understood as the search for a state of affairs that extends a fixed partial state of affairs, the \emph{environment}, while satisfying certain conditions that are formally specified. Such problems are found…

Using the Galois theory over function field, and the holomorphy of algebroids defined via irreducible polynomial at singular points, we prove the injectivity of any kellerian mapping. The famous Jacobian conjecture is true.

The Jacobian Conjecture uses the equation $det(Jac(F))\in k^*$, which is a very short way to write down many equations putting restrictions on the coefficients of a polynomial map $F$. In characteristic $p$ these equations do not suffice to…