Real Analysis/List of Theorems
Below are a list of all the theorems that are covered by this wikibook. The format for each of them will not be like the theorems found throughout this wikibook however, instead they will be written as a strict if-then statement, without any given statements or explanations. Although this makes each theorem considerably shorter and easier to fit onto one page than by simply copy-pasting each proof, you will not gain the benefit of knowing how the proof is formulated nor the context for most of these theorems (which might be bad when you have no idea what each variable represents).
Note the following:
- The theorems here does not explicitly define any words — look for the adjacent or embedded link in order to read about them.
- For seachability reasons, this page also includes a list of properties.
And always remember that logical conditionals do not allow the converse by default!
How to Read
The theorems are divided into separate tables based on a unifying if statement. Each chart should be used like a map on where you can validly progress in your proof. The tables are divided into three rows: Reference, If, and Then. The first row is devoted to giving you, the reader, some background information for the theorem in question. It will usually be either the name of the theorem, it's immediate use for the theorem, or non-existent. The second row is what is required in order for the translation between one theorem and the next to be valid. The third row is what you can now validly assert as true, without any fear of a contradiction or an invalid statement.
If you come across any numbered lists in this page, that means that all criteria must be satisfied by default. In other words, assume that everything in that list works under AND unless stated otherwise.
Any and all normal naming conventions will be used. For example, ƒ will, by default, refer to a function — unless otherwise specified. This becomes important if certain variable names must be inferred based on context. For example, the "function" L and U for integrals actually represent the lower and upper sum, respectively, and are not necessarily the functions you are used to (so don't apply the function theorems on them!)
List of Axioms
Axioms, logically, are essentially proofs without an if statement. Thus, the following list only contains essentially then statements, which can be used freely.
List of Theorems
|a = b||f(a) = f(b)|
|a = b||f-1(a) = f-1(b)|
|the function ƒ is a constant function|
|the function ƒ = x|
|the function ƒ is a rational function|
|the function ƒ is convex over some interval I||the function -ƒ is concave over some interval I|
|the function ƒ is concave over some interval I||the function -ƒ is convex over some interval I|
|the function is bounded on [a,b] and||the function is integrable over [a,b]|
|the function is bounded on [a,b] and|
|a function ƒ has a valid limit|
|a function ƒ has a valid limit and it's not 0|
|a function ƒ and function g has a valid limit|
|a function ƒ and function g has a valid limit and
|a function ƒ has a valid limit at c||the limit is unique|
|the function ƒ is continuous at c|
|the function ƒ is continuous at c and it's not 0|
|the function ƒ and g are both continuous at c|
|the function ƒ and g are
|the function ƒ is continuous at c and the function g is continuous at g(c)|
|a function ƒ is continuous on [a,b] and there exists two numbers a and b such that a < b||such that|
|the function ƒ is bounded between the interval [a,b]|
|a function ƒ is
||such that and .|
|a function ƒ is continuous on [a,b]||ƒ is integrable over [a,b]|
|Implication of Continuity||the function ƒ is differentiable at x||the function ƒ is continuous#Definition at x|
|Theorem Proving "Functional Analysis"||the function ƒ is:
||its derivative at x is equal to 0|
|Rolle's Theorem||a function ƒ is
|Mean Value Theorem||a function ƒ is
|Cauchy Mean Value Theorem||the functions and are
||such that .|
|Theorems Proving "Functional Analysis"||a function ƒ has a positive first derivative for some interval I||ƒ must also be increasing on the interval I|
|a function ƒ has a negative first derivative for some interval I||ƒ must also be decreasing on the interval I|
|a function ƒ has
||ƒ(x) is a local minimum|
|a function ƒ has
||ƒ(x) is a local maximum|
|A Theorem Proving Intuition||a tangent line at some point (x, ƒ(x)) is between a region of convexity/concavity.||the line will be greater than the function so long as it's concave. Lesser than the function if it's convex.|
|the function ƒ is integrable on [a,b] and a < c < b||ƒ is integrable on [a,c] and ƒ is integrable on [c,b]|
|ƒ is integrable on [a,c] and ƒ is integrable on [c,b]||the function ƒ is integrable on [a,b]|
|ƒ + g is integrable on [a,b]|
|ƒ is integrable on [a,b]||for all such that|
|ƒ is continuous on [a,b] and ƒ is a a derivative of some function g|
|ƒ is integrable on [a,b] and ƒ is a a derivative of some function g|
|ƒ is continuous at c, which is in the interval [a,b]|