# Inequality

An inequality is a subject in mathematics that can be used to formulate and study size comparisons . Any inequality consists of two terms , which by one of the reference character <( less-than sign ) ≤ (Kleiner equal sign) ≥ (Greater than or equal sign) or> ( greater-than sign ) are connected.

If and are two terms, then is an inequality. One speaks " smaller (than) ". As with an equation , the left side and the right side of the inequality are called. ${\ displaystyle T_ {1}}$${\ displaystyle T_ {2}}$${\ displaystyle T_ {1} ${\ displaystyle T_ {1}}$${\ displaystyle T_ {2}}$${\ displaystyle T_ {1}}$${\ displaystyle {T_ {2}}}$

The values appearing in the two terms are mostly real numbers . The order relation referred to by the comparison symbol then relates to the natural arrangement of the real numbers.

## Forms of inequalities

The following five forms of inequalities are possible:

(1) ( smaller )${\ displaystyle {T_ {1}} <{T_ {2}}}$${\ displaystyle {T_ {1}}}$${\ displaystyle {T_ {2}}}$
(2) ( less than or equal to )${\ displaystyle {T_ {1}} \ leq {T_ {2}}}$${\ displaystyle {T_ {1}}}$${\ displaystyle {T_ {2}}}$
(3) ( larger )${\ displaystyle {T_ {1}}> {T_ {2}}}$${\ displaystyle {T_ {1}}}$${\ displaystyle {T_ {2}}}$
(4) ( greater than or equal to )${\ displaystyle {T_ {1}} \ geq {T_ {2}}}$${\ displaystyle {T_ {1}}}$${\ displaystyle {T_ {2}}}$
(5) ( not equal )${\ displaystyle {T_ {1}} \ neq {T_ {2}}}$${\ displaystyle {T_ {1}}}$${\ displaystyle {T_ {2}}}$

The form (5) is created by negating an equation. It is therefore usually not specifically addressed in mathematics.

Inequalities are forms of statement . The functional terms occurring on both sides of an inequality usually contain variables that represent elements from the definition range of the respective terms. If these variables are replaced by fixed elements of the respective domains of definition ( insertion ), statements are made which are either true or false.

## Transformation of inequalities

Similar to equations, it is also possible for inequalities to convert them into equivalent inequalities . Equivalent inequalities have the same solution sets, so transforming inequalities is important for solving inequalities, which is what the following section will look at.

In the following, important rules for equivalent inequalities for the comparison symbols <and> and for terms in the field of real numbers are presented. These equivalence transformation rules apply analogously to the comparison symbols ≤, ≥ and ≠. In addition, further rules for non-equivalent transformations of inequalities are offered, which are often required in analysis - for example for proofs of convergence using epsilontics .

### Reversibility

Inequalities can be reversed:

${\ displaystyle ({T_ {1}} \ leq {} {T_ {2}}) \ Leftrightarrow ({T_ {2}} \ geq {} {T_ {1}}) \ ,.}$

### Laws of monotony in connection with the basic arithmetic operations

Invariance of the smaller relation when adding with a number on both sides of the inequality

For any real-valued Terme , , and the following applies: ${\ displaystyle T_ {1}}$${\ displaystyle T_ {2}}$${\ displaystyle T_ {3}}$${\ displaystyle T_ {4}}$

• It is exactly when .${\ displaystyle T_ {1} ${\ displaystyle T_ {1} + T_ {3}
• It is exactly when .${\ displaystyle T_ {1} ${\ displaystyle T_ {1} -T_ {3}

The same terms can therefore be added or subtracted on both sides of an inequality without changing the solution set of the inequality. For example, the inequality is simplified by subtracting the term on both sides to give the equivalent inequality . ${\ displaystyle 5x <4x + 7}$${\ displaystyle 4x}$${\ displaystyle x <7}$

• Out and follows .${\ displaystyle T_ {1} ${\ displaystyle T_ {3} ${\ displaystyle T_ {1} + T_ {3}
• Out and follows .${\ displaystyle T_ {1} \ leq T_ {2}}$${\ displaystyle T_ {3} ${\ displaystyle T_ {1} + T_ {3}
• Out and follows .${\ displaystyle T_ {1} ${\ displaystyle T_ {3} \ leq T_ {4}}$${\ displaystyle T_ {1} + T_ {3}
• Out and follows .${\ displaystyle T_ {1} \ leq T_ {2}}$${\ displaystyle T_ {3} \ leq T_ {4}}$${\ displaystyle T_ {1} + T_ {3} \ leq T_ {2} + T_ {4}}$

#### Multiplication and division

The rule ${\ displaystyle a> 0 \ land x
The rule ${\ displaystyle a <0 \ land x ay}$

For any terms , and we have: ${\ displaystyle T_ {1}}$${\ displaystyle T_ {2}}$${\ displaystyle T_ {3}}$

• From follows .${\ displaystyle T_ {1} ${\ displaystyle -T_ {1}> - T_ {2}}$
• From follows .${\ displaystyle 0 ${\ displaystyle 0 <1 / T_ {2} <1 / T_ {1}}$
• Out and follows and .${\ displaystyle T_ {3}> 0}$${\ displaystyle T_ {1} ${\ displaystyle T_ {1} T_ {3} ${\ displaystyle T_ {1} / T_ {3}
• Out and follows and .${\ displaystyle T_ {3} <0}$${\ displaystyle T_ {1} ${\ displaystyle T_ {1} T_ {3}> T_ {2} T_ {3}}$${\ displaystyle T_ {1} / T_ {3}> T_ {2} / T_ {3}}$

The following rule of thumb applies here:

In the case of point calculations with a real number> 0, the comparison symbols are retained, while they are reversed in the case of point calculations with a real number <0.

For example, the inequalities and are equivalent, as seen by dividing through . ${\ displaystyle -3x <12}$${\ displaystyle x> -4}$${\ displaystyle -3}$

In addition, other rules apply with regard to the multiplication within the group of positive real numbers : ${\ displaystyle (\ mathbb {R} ^ {> 0}, \ cdot)}$

• Out and follows .${\ displaystyle T_ {1} ${\ displaystyle T_ {3} ${\ displaystyle T_ {1} T_ {3}
• Out and follows .${\ displaystyle T_ {1} \ leq T_ {2}}$${\ displaystyle T_ {3} ${\ displaystyle T_ {1} T_ {3}
• Out and follows .${\ displaystyle T_ {1} ${\ displaystyle T_ {3} \ leq T_ {4}}$${\ displaystyle T_ {1} T_ {3}
• Out and follows .${\ displaystyle T_ {1} \ leq T_ {2}}$${\ displaystyle T_ {3} \ leq T_ {4}}$${\ displaystyle T_ {1} T_ {3} \ leq T_ {2} T_ {4}}$

### Apply a function

By applying a strictly monotonic function to both sides of an inequality, one again obtains an inequality with the same solution set as the original inequality.

Similar to the monotony laws, however, the comparison symbol may also have to be rotated here. If you use a strictly monotonically increasing function on both sides, the comparison symbol does not change, but if you use a strictly monotonically decreasing function: In this case, the comparison symbol must then be replaced by the corresponding reversed symbol , analogous to the comparison symbol by the symbol and vice versa. ${\ displaystyle <}$${\ displaystyle>}$${\ displaystyle \ leq}$${\ displaystyle \ geq}$

#### Examples

The natural logarithm and the root function are strictly monotonically increasing functions and can therefore be used to transform inequalities without having to rotate the comparison symbols. If there are two terms, then for example applies accordingly ${\ displaystyle \ ln}$${\ displaystyle {\ sqrt {\,}}}$${\ displaystyle T_ {1}, T_ {2}}$

${\ displaystyle 0

However, caution is advised when it comes to exponential functions which, depending on their base, can be strictly monotonically increasing, but also decreasing: ${\ displaystyle a}$

${\ displaystyle 0 1, \ but:}} \ quad a ^ {T_ {1}}> a ^ {T_ {2}} \ quad {\ mathtt {f {\ ddot {u}} r \ a <1}}.}$

The same applies to logarithms of any exponent:

${\ displaystyle 0 1, \ but:}} \ quad \ log _ {a} (T_ {1})> \ log _ {a} (T_ {2}) \ quad {\ mathtt {f {\ ddot {u}} r \ a <1}}.}$

For example:

${\ displaystyle 0 <0.8 ^ {n} \ leq 0.05 \ quad {\ mathtt {but:}} \ quad n \, \ geq \, {\ frac {\ ln (0.05)} {\ ln (0.8)}} \ approx 13 {,} 43}$

## Solving inequalities

A question when dealing with inequalities is - similar to the solution of equations - the question of the solution set of the inequality. The question to be answered here is whether and, if so, which elements of the domains of definition deliver a true or false statement when inserted into the two terms. An important technique for finding the solution set is to transform the inequality into a simpler form.

## Known inequalities

In all mathematical sub-areas there are theorems about the validity of inequalities. This means that certain mathematical statements ensure the correctness of a given inequality for a certain set of definitions under certain circumstances. Some important inequalities are briefly mentioned below.

### Triangle inequality

After the triangle is in the triangle , the sum of the lengths of two sides and always at least as great as the length of the third side . That means formal . ${\ displaystyle a}$${\ displaystyle b}$${\ displaystyle c}$${\ displaystyle c \ leq a + b}$

This inequality can be generalized to many mathematical objects. For example, the inequality is

${\ displaystyle | a + b | \ leq | a | + | b |}$

for the absolute value function a generalization of the aforementioned inequality and applies to all real numbers. It is also called the triangle inequality. This inequality can also be generalized for the absolute value of complex numbers or for integrals (see Minkowski inequality ).

### Cauchy-Schwarz inequality

So let Prähilbert space be a vector space with scalar product and let and elements be off , then the inequality always holds ${\ displaystyle V}$ ${\ displaystyle \ langle \ cdot, \ cdot \ rangle}$${\ displaystyle x}$${\ displaystyle y}$${\ displaystyle V}$

${\ displaystyle | \ langle x, y \ rangle | ^ {2} \ leq \ langle x, x \ rangle \ cdot \ langle y, y \ rangle \ ,.}$

Equality applies if and only if and are linearly dependent . Vector spaces with a scalar product occur in many mathematical sub-areas. Therefore, the Cauchy-Schwarz inequality is also important in many sub-disciplines of mathematics, for example it is used in linear algebra , integration theory and probability theory. ${\ displaystyle x}$${\ displaystyle y}$

## Extension of the term

So far, this article has only considered inequalities whose terms take on values ​​in the real numbers. The term inequality is occasionally - but not uniformly - extended to, for example, complex numbers , vectors or matrices . In order to be able to consider inequalities for these objects, the four comparison symbols <, ≤,> and ≥ - in the following also called relations - must first be defined for these objects.

### Complex numbers

The set of complex numbers , together with the usual addition and multiplication, is a field , but it is not possible to choose a relation ≤ in such a way that it becomes an ordered field . That is, it is not possible that a relation on both the trichotomy , the transitivity and the monotony law is satisfied. However, sometimes a relation is created by ${\ displaystyle \ mathbb {C}}$${\ displaystyle (\ mathbb {C}, +, \ times, \ leq)}$${\ displaystyle (\ mathbb {C}, +, \ times, \ leq)}$

${\ displaystyle x

is defined. Complex numbers and denote the real part or the imaginary part of a complex number. This definition of the relation fulfills the trichotomy and transitivity laws. ${\ displaystyle x, y}$${\ displaystyle \ operatorname {Re}}$${\ displaystyle \ operatorname {Im}}$

### Column vectors

It is also possible to define relations for column vectors . Let be two column vectors with and where and are real numbers. You can then go through relations on , for example ${\ displaystyle x, y \ in \ mathbb {R} ^ {n}}$${\ displaystyle x = (x_ {1}, x_ {2}, \ ldots, x_ {n}) ^ {T}}$${\ displaystyle y = (y_ {1}, y_ {2}, \ ldots, y_ {n}) ^ {T}}$${\ displaystyle x_ {i}}$${\ displaystyle y_ {i}}$${\ displaystyle \ mathbb {R} ^ {n}}$

${\ displaystyle x

and through

${\ displaystyle x \ leq y: \ Leftrightarrow i = 1, \ ldots, n: \ x_ {i} \ leq y_ {i}}$

define. The relations ≥ and> can also be explained in the same way. However, it is not possible here to compare all elements with one another. For example, none of the four comparison symbols can describe a relationship between the elements and . ${\ displaystyle x: = (2.5) ^ {T}}$${\ displaystyle y: = (3,4) ^ {T}}$

### Further examples

• It is defined exactly when positive is definite . Are , then if and only if . Similarly, or (semidefinite) can also be defined.${\ displaystyle A \ in \ mathbb {R} ^ {n \ times n}}$${\ displaystyle A> 0}$${\ displaystyle A}$ ${\ displaystyle A, B \ in \ mathbb {R} ^ {n \ times n}}$${\ displaystyle A> B}$${\ displaystyle AB> 0}$${\ displaystyle <}$${\ displaystyle \ leq, \ geq}$
• Let be a real Banach space and a cone . Are , then if and only if .${\ displaystyle (E, \ | \ cdot \ |)}$${\ displaystyle K \ subseteq E}$${\ displaystyle x, y \ in E}$${\ displaystyle x \ leq y}$${\ displaystyle yx \ in K}$