injective function
111Uniform space — In the mathematical field of topology, a uniform space is a set with a uniform structure. Uniform spaces are topological spaces with additional structure which is used to define uniform properties such as completeness, uniform continuity and… …
112Horizontal line test — In mathematics, the horizontal line test is a test used to determine if a function is injective, surjective or bijective.Suppose there is a function f : X → Y with a graph., and you have a horizontal line of X x Y :y 0 in Y, {(x,y 0): x in X} =… …
113Boolean-valued model — In mathematical logic, a Boolean valued model is a generalization of the ordinary Tarskian notion of structure or model, in which the truth values of propositions are not limited to true and false , but take values in some fixed complete Boolean… …
114Calabi conjecture — In mathematics, the Calabi conjecture was a conjecture about the existence of good Riemannian metrics on complex manifolds, made by Eugenio Calabi (1954, 1957) and proved by Shing Tung Yau (1977, 1978). The Calabi conjecture states that …
115Many-one reduction — In computability theory and computational complexity theory, a many one reduction is a reduction which converts instances of one decision problem into instances of a second decision problem. Reductions are thus used to measure the relative… …
116Compact operator on Hilbert space — In functional analysis, compact operators on Hilbert spaces are a direct extension of matrices: in the Hilbert spaces, they are precisely the closure of finite rank operators in the uniform operator topology. As such, results from matrix theory… …
117Equation — This article is about equations in mathematics. For the chemistry term, see chemical equation. The first use of an equals sign, equivalent to 14x+15=71 in modern notation. From The Whetstone of Witte by Robert Recorde (1557). An equation is a… …
118Field extension — In abstract algebra, field extensions are the main object of study in field theory. The general idea is to start with a base field and construct in some manner a larger field which contains the base field and satisfies additional properties. For… …
119Integral domain — In abstract algebra, an integral domain is a commutative ring that has no zero divisors,[1] and which is not the trivial ring {0}. It is usually assumed that commutative rings and integral domains have a multiplicative identity even though this… …
120Quaternion — Quaternions, in mathematics, are a non commutative extension of complex numbers. They were first described by the Irish mathematician Sir William Rowan Hamilton in 1843 and applied to mechanics in three dimensional space. They find uses in both… …
