functions satisfying "one-one iff onto" - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T06:26:31Z http://mathoverflow.net/feeds/question/88750 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/88750/functions-satisfying-one-one-iff-onto functions satisfying "one-one iff onto" Uday 2012-02-17T19:00:00Z 2013-03-22T01:03:09Z <p>Hello Everybody. </p> <p>I need some more examples for the following really interesting phenomenon:</p> <pre><code> A function from the class ... is one-one iff it is onto. </code></pre> <p>Some examples I know:</p> <p>1) Finite set case: functions from $\lbrace 1,2,\dots,n\rbrace$ to itself is one-one iff onto.</p> <p>2) Linear operators $T\colon V\rightarrow V,$ where $V$ is a finite-dimensional vector space is also one-one iff onto.</p> <p>3) Linear operators of the from (I-K) where K is some compact operator acting on a Banach space satisfies this property. This is the famous result of Fredholm. </p> <p>It is very easy to find domains where the result fails. </p> <p>I remember my teacher telling me that 'compactness is the next best thing to finiteness', hence this result which trivially holds in the finite case can happen only in the compact setting. I would like to know, if this is really the case or are there any other examples? </p> <p>Thank you in advance. </p> <p>EDIT: Looking at some answers, I thought it is better if the scope of the question is broadened. </p> <p>Does injection (surjection) imply surjection (injection) and isomorphism/isometry? (i.e. by assuming one-one can I get ontoness and structure preserving properties free)</p> http://mathoverflow.net/questions/88750/functions-satisfying-one-one-iff-onto/88759#88759 Answer by Ralph for functions satisfying "one-one iff onto" Ralph 2012-02-17T20:06:32Z 2012-02-17T20:18:39Z <p>If $A$ is a noetherian ring, then a ring homomorphism $f: A \to A$ is surjective iff it is an isomorphism. </p> <p>(see the accepted answer of this <a href="http://mathoverflow.net/questions/71185/a-proof-for-a-statement-about-polynomial-automorphism" rel="nofollow">question</a>) </p> http://mathoverflow.net/questions/88750/functions-satisfying-one-one-iff-onto/88763#88763 Answer by Matthieu Romagny for functions satisfying "one-one iff onto" Matthieu Romagny 2012-02-17T20:32:55Z 2012-02-17T20:32:55Z <p>If $A$ is a ring and $M$ is a finitely generated $A$-module, then an $A$-module endomorphism $f:M\rightarrow M$ is surjective iff it is an isomorphism.</p> http://mathoverflow.net/questions/88750/functions-satisfying-one-one-iff-onto/88766#88766 Answer by Moshe for functions satisfying "one-one iff onto" Moshe 2012-02-17T20:48:09Z 2012-02-17T20:48:09Z <p>Tom Leinster was talking about this <a href="http://golem.ph.utexas.edu/category/2011/12/the_eventual_image.html" rel="nofollow">here</a></p> http://mathoverflow.net/questions/88750/functions-satisfying-one-one-iff-onto/88767#88767 Answer by Hans for functions satisfying "one-one iff onto" Hans 2012-02-17T20:49:41Z 2012-02-17T20:49:41Z <p>An isometry (i.e. distance preserving map) between metric spaces is automatically injective.</p> http://mathoverflow.net/questions/88750/functions-satisfying-one-one-iff-onto/88768#88768 Answer by Erik Aas for functions satisfying "one-one iff onto" Erik Aas 2012-02-17T21:07:15Z 2012-02-18T09:03:11Z <p>If $f : S \to S$ is volume preserving and $S \subseteq \mathbb{R}^n$ has finite volume, then f is injective iff f is surjective.</p> <p>There is a very elegant proof of Koebe–Andreev–Thurston theorem (given in the book on combinatorial geometry by Agarwal and Pach) using this property.</p> http://mathoverflow.net/questions/88750/functions-satisfying-one-one-iff-onto/88772#88772 Answer by Benjamin Steinberg for functions satisfying "one-one iff onto" Benjamin Steinberg 2012-02-17T21:29:01Z 2012-02-17T22:44:18Z <p>A surjective endomorphism of a finitely generated residually finite group is an isomorphism. </p> http://mathoverflow.net/questions/88750/functions-satisfying-one-one-iff-onto/88774#88774 Answer by Yemon Choi for functions satisfying "one-one iff onto" Yemon Choi 2012-02-17T21:35:32Z 2012-02-17T21:35:32Z <p>Let $G$ be a discrete group, and let $T:\ell^2(G)\to \ell^2(G)$ be a bounded linear operator which commutes with all right translations: that is, if $\xi\in \ell^2(G)$ and $g\in G$ then $T(\xi\cdot g) =T(\xi)\cdot g$. (In other words, $T$ belongs to the group von Neumann algebra.) Then if $T$ is surjective, it is invertible.</p> <p>This follows from combining a result of Kaplansky with the fact that $C^\ast$-algebras are inverse-closed in containing $C^\ast$-algebras. My own feeling is that the result is tacit folklore but in any case it follows by duality from <a href="http://arxiv.org/abs/0906.2854" rel="nofollow">Theorem 3.2 in this paper</a>.</p> http://mathoverflow.net/questions/88750/functions-satisfying-one-one-iff-onto/88779#88779 Answer by Donu Arapura for functions satisfying "one-one iff onto" Donu Arapura 2012-02-17T22:00:23Z 2012-02-17T22:51:30Z <p>Although I tend to shy away from list questions, this is more fun to contemplate than the pile of exams on my desk right now.</p> <p>So take a compact Riemann surface $X$ with genus $g\ge 2$. A nonconstant holomorphic self map $f:X\to X$ is necessarily an isomorphism. Proof: Surjectivity is automatic by, for example, the open mapping theorem. If $f$ were not injective, then it would have a degree $d>1$. But the Riemann-Hurwitz formula would give $g-1\ge d(g-1)$ which is impossible. </p> http://mathoverflow.net/questions/88750/functions-satisfying-one-one-iff-onto/88781#88781 Answer by Yemon Choi for functions satisfying "one-one iff onto" Yemon Choi 2012-02-17T22:19:39Z 2012-02-17T22:19:39Z <p>Let $G$ be a <em>sofic</em> group (see this <a href="http://arxiv.org/abs/0804.3968" rel="nofollow">survey article of Pestov</a> for the definition and various results) - all amenable groups are sofic, as are all free groups, and no groups are known to be non-sofic. Let <code>$X=\{0,1\}^G$</code> with the product topology and let $f: X \to X$ be a continuous function which is also a right $G$-map, here $G$ acts on $X$ by shifts. Then if $f$ is injective, it is automatically surjective - this is Gromov's partial solution to the Gottschalk surjunctivity conjecture, which I think is also mentioned in Pestov's article.</p> <p>Now this is not what your question asked for, but if we now look at $C(X)$ and the induced algebra homomorphism $f^* : C(X) \to C(X)$, then</p> <p><code>$f^*$</code> surjective <code>$\iff$</code> $f$ is injective (Tietze/Urysohn) <code>$\iff$</code> $f$ is bijective (above) <code>$\iff$</code> $f^*$ bijective (Tietze/Urysohn)</p> http://mathoverflow.net/questions/88750/functions-satisfying-one-one-iff-onto/88783#88783 Answer by Tom Leinster for functions satisfying "one-one iff onto" Tom Leinster 2012-02-17T22:26:36Z 2012-02-17T22:26:36Z <p>Uday asked about the double implication "one-to-one iff onto". Here's an observation about the relationship between the two different directions of implication, taken from <a href="http://golem.ph.utexas.edu/category/2011/12/the_eventual_image.html#c040562" rel="nofollow">here</a>.</p> <p>Let $\mathbf{M}$ be a symmetric monoidal closed category. (This is overkill, but I won't attempt to be more precise.) Suppose we have in $\mathbf{M}$ two distinguished classes of map, called the "injections" and the "surjections", with the following two properties: (i) if $s\colon X \to Y$ is a surjection then for all $Z$, the induced map $$s^*\colon \mathbf{Hom}(Y, Z) \to \mathbf{Hom}(X, Z)$$ is an injection, and (ii) any surjection with a left inverse is an isomorphism. Suppose, finally, that every injective endomorphism in $\mathbf{M}$ is an isomorphism. Then every <em>surjective</em> endomorphism in $\mathbf{M}$ is an isomorphism.</p> <p>Proof: let $s\colon X \to X$ be a surjective endomorphism. Then <code>$s^*\colon \mathbf{Hom}(X, X) \to \mathbf{Hom}(X, X)$</code> is an injective endomorphism, and therefore an isomorphism. It follows that there exists $t\colon X \to X$ such that <code>$s^*(t) = 1_X$</code>, that is, $t\circ s = 1_X$. But then $s$ is a surjection with a left inverse, so $s$ is an isomorphism.</p> <p>The hypotheses hold in the category of finite sets, the category of finite-dimensional vector spaces, and the category of compact metric spaces. In the last case, the maps are the distance-decreasing maps (in the weak sense), "injection" should be interpreted as "isometry into", and "surjection" has its usual meaning. </p> <p>In particular, if you already know that every isometry from a compact metric space into itself is surjective, this lets you deduce that every distance-decreasing surjection from a compact metric space to itself is an isometry.</p> http://mathoverflow.net/questions/88750/functions-satisfying-one-one-iff-onto/88786#88786 Answer by Todd Trimble for functions satisfying "one-one iff onto" Todd Trimble 2012-02-18T00:39:47Z 2012-02-18T00:39:47Z <p>Let $R$ be a <a href="http://en.wikipedia.org/wiki/Perfect_ring" rel="nofollow">right perfect ring</a>. Then an endomorphism on a finitely presented left $R$-module is injective if and only if it is surjective: <a href="http://www.jstor.org/pss/2038225" rel="nofollow">reference</a>. </p> http://mathoverflow.net/questions/88750/functions-satisfying-one-one-iff-onto/88789#88789 Answer by auniket for functions satisfying "one-one iff onto" auniket 2012-02-18T01:15:04Z 2012-02-18T01:15:04Z <p>This addresses the "broader scope" of the question and possibly the comments of Uday on Donu's answer: An injective morphism from an affine algebraic variety over an algebraically closed field to itself is also surjective. Moreover, probably even more surprising is the fact that in the case that the field has characteristic zero (and of course algebraically closed), an injective endomorphism is actually a polynomial automorphism (that is the inverse is also a polynomial map!). See e.g. Chapter 4 of van den Essen's "Polynomial Automorphisms" for proofs of both these statements. Also from the same book: the map $x \mapsto x^3$ from $\mathbb{Q} \to \mathbb{Q}$ shows the necessity of algebraic closedness of the field, and the Frobenius automorphism $x \mapsto x^p$ of an algebraically closed field of characteristic $p > 0$ shows that the second statement is false for positive characteristic. Also, note that both statements are automatically true for proper varieties.</p> http://mathoverflow.net/questions/88750/functions-satisfying-one-one-iff-onto/88792#88792 Answer by Will Sawin for functions satisfying "one-one iff onto" Will Sawin 2012-02-18T01:20:32Z 2012-02-18T01:27:40Z <p>The multiplication maps of modules over an <a href="http://en.wikipedia.org/wiki/Artinian_ring" rel="nofollow">Artin Ring</a> have this property. Artin rings similarly generalize both finite sets and vectors spaces.</p> http://mathoverflow.net/questions/88750/functions-satisfying-one-one-iff-onto/92695#92695 Answer by Tom Goodwillie for functions satisfying "one-one iff onto" Tom Goodwillie 2012-03-30T16:43:10Z 2012-03-31T03:04:39Z <p>(edited slightly) A one to one continuous map between two compact $n$-dimensional manifolds without boundary having equal numbers of components must be onto, and in fact a homeomorphism. </p> <p>The image of any connected component must be connected, open (by invariance of domain), and closed (by compactness), and therefore must be a component.</p> http://mathoverflow.net/questions/88750/functions-satisfying-one-one-iff-onto/125211#125211 Answer by Margaret Friedland for functions satisfying "one-one iff onto" Margaret Friedland 2013-03-21T23:20:02Z 2013-03-21T23:20:02Z <p>If $G \subset \mathbb{C}^n$ is a domain and $f: G \mapsto \mathbb{C}^n$ is an injective holomorphic mapping, then also $f(G)$ is a domain and $f: G \mapsto f(G)$ is biholomorphic.</p> <p>This follows from the fact that, under the same assumptions, if $f$ is injective, then det $J_f(z) \ne 0$ for every $z \in G$. ($J_f$ denotes the complex jacobian.)</p> http://mathoverflow.net/questions/88750/functions-satisfying-one-one-iff-onto/125220#125220 Answer by Peter Samuelson for functions satisfying "one-one iff onto" Peter Samuelson 2013-03-22T01:03:09Z 2013-03-22T01:03:09Z <p>The <a href="http://en.wikipedia.org/wiki/Dixmier_conjecture" rel="nofollow">Dixmier conjecture </a> involves an even stronger statement. Let $A_n$ be the Weyl algebra, which is the algebra of polynomial differential operators on $\mathbb C[x_1,\ldots,x_n]$. The conjecture is that any algebra map $f:A_n \to A_n$ is an isomorphism. (Of course, it isn't hard to see that $A_n$ has no two-sided ideals, so any such $f$ is automatically injective.)</p> <p>It was recently proved that the Dixmier conjecture is stably equivalent to the <a href="http://en.wikipedia.org/wiki/Jacobian_conjecture" rel="nofollow">Jacobian conjecture</a>, in the sense that if one conjecture is true for all $n$, then so is the other. (References are given in the wikipedia page.)</p>