If F is an antiderivative of f, and the function f is defined on some interval, then every other antiderivative G of f differs from F by a constant: there exists a number C such that G ( x ) = F ( x ) + C for all x.

If we define the function f ( n ) = A ( n, n ), which increases both m and n at the same time, we have a function of one variable that dwarfs every primitive recursive function, including very fast-growing functions such as the exponential function, the factorial function, multi-and superfactorial functions, and even functions defined using Knuth's up-arrow notation ( except when the indexed up-arrow is used ).

If f is not a function, but is instead a partial function, it is called a partial operation.

The tensor product X ⊗ Y from X and Y is a K-vector space Z with a bilinear function T: X × Y → Z which has the following universal property: If T ′: X × Y → Z ′ is any bilinear function into a K-vector space Z ′, then only one linear function f: Z → Z ′ with exists.

If f is also surjective and therefore bijective ( since f is already defined to be injective ), then S is called countably infinite.

If we attempt to use the above formula to compute the derivative of f at zero, then we must evaluate 1 / g ′( f ( 0 )).

If k, m, and n are 1, so that and, then the Jacobian matrices of f and g are.

If f is a function of as above, then the second derivative of is:

If we let f be a function

If a probability distribution has a density function f ( x ), then the mean is

If the function f is not linear ( i. e. its graph is not a straight line ), however, then the change in y divided by the change in x varies: differentiation is a method to find an exact value for this rate of change at any given value of x.

If the limit exists, then f is differentiable at a.

If the limit exists, meaning that there is a way of choosing a value for Q ( 0 ) that makes the graph of Q a continuous function, then the function f is differentiable at a, and its derivative at a equals Q ( 0 ).

If y = f ( x ) is differentiable at a, then f must also be continuous at a.

If in the third identity we take H = G, we get that the set of commutators is stable under any endomorphism of G. This is in fact a generalization of the second identity, since we can take f to be the conjugation automorphism.

If f is a surjection and a ~ b ↔ f ( a ) = f ( b ), then g is a bijection.

If m and n are natural numbers and f ( x ) is a smooth ( meaning: sufficiently often differentiable ) function defined for all real numbers x in the interval, then the integral

If the circumstances are faced frankly it is not reasonable to expect this to be true.

If his dancers are sometimes made to look as if they might be creatures from Mars, this is consistent with his intention of placing them in the orbit of another world, a world in which they are freed of their pedestrian identities.

If a work is divided into several large segments, a last-minute drawing of random numbers may determine the order of the segments for any particular performance.

If they avoid the use of the pungent, outlawed four-letter word it is because it is taboo ; ;

If Wilhelm Reich is the Moses who has led them out of the Egypt of sexual slavery, Dylan Thomas is the poet who offers them the Dionysian dialectic of justification for their indulgence in liquor, marijuana, sex, and jazz.

If he is the child of nothingness, if he is the predestined victim of an age of atomic wars, then he will consult only his own organic needs and go beyond good and evil.

If it is an honest feeling, then why should she not yield to it??

If he thus achieves a lyrical, dreamlike, drugged intensity, he pays the price for his indulgence by producing work -- Allen Ginsberg's `` Howl '' is a striking example of this tendency -- that is disoriented, Dionysian but without depth and without Apollonian control.

If love reflects the nature of man, as Ortega Y Gasset believes, if the person in love betrays decisively what he is by his behavior in love, then the writers of the beat generation are creating a new literary genre.

If he is good, he may not be legal ; ;

If the man on the sidewalk is surprised at this question, it has served as an exclamation.

If the existent form is to be retained new factors that reinforce it must be introduced into the situation.

If we remove ourselves for a moment from our time and our infatuation with mental disease, isn't there something absurd about a hero in a novel who is defeated by his infantile neurosis??

If many of the characters in contemporary novels appear to be the bloodless relations of characters in a case history it is because the novelist is often forgetful today that those things that we call character manifest themselves in surface behavior, that the ego is still the executive agency of personality, and that all we know of personality must be discerned through the ego.

If he is a traditionalist, he is an eclectic traditionalist.

If our sincerity is granted, and it is granted, the discrepancy can only be explained by the fact that we have come to believe hearsay and legend about ourselves in preference to an understanding gained by earnest self-examination.

If to be innocent is to be helpless, then I had been -- as are we all -- helpless at the start.

If 16 scanlines of continuous graphical data are written to a character-block-aligned portion of the screen then they will appear as a continuous block in most modes but in the two non-continuous modes they will be displayed as two blocks of 8 scanlines, separated in the middle by two blank scanlines.

If X and Y are Banach spaces over the same ground field K, the set of all continuous K-linear maps T: X → Y is denoted by B ( X, Y ).

If X is a Banach space and K is the underlying field ( either the real or the complex numbers ), then K is itself a Banach space ( using the absolute value as norm ) and we can define the continuous dual space as X ′ = B ( X, K ), the space of continuous linear maps into K.

If we set, then η is continuous at 0.

* If is the norm ( usually noted as ) defined in the square-summable sequence space ℓ < sup > 2 </ sup > ( which also matches the usual distance in a continuous and isotropic cartesian space ), then

* If is the norm ( usually noted as ) defined in the sequence space ℓ < sup >∞</ sup > of all bounded sequences ( which also matches the non-linear distance measured as the maximum of distances measured on projections into the base subspaces, without requiring the space to be isotropic or even just linear, but only continuous, such norm being definable on all Banach spaces ), and is lower triangular non-singular ( i. e., ) then

If a simply stable system response neither decays nor grows over time, and has no oscillations, it is marginally stable: in this case the system transfer function has non-repeated poles at complex plane origin ( i. e. their real and complex component is zero in the continuous time case ).

If φ is C < sup > k </ sup >, then the inhomogeneous equation is explicitly solvable in any bounded domain D, provided φ is continuous on the closure of D. Indeed, by the Cauchy integral formula,

If is continuous in an open set Ω and the partial derivatives of ƒ with respect to x and y exist in Ω, and satisfies the Cauchy – Riemann equations throughout Ω, then ƒ is holomorphic ( and thus analytic ).

If X is a topological space and M is a complete metric space, then the set C < sub > b </ sub >( X, M ) consisting of all continuous bounded functions ƒ from X to M is a closed subspace of B ( X, M ) and hence also complete.

If neutral spirit is used, it will usually have been produced with a continuous still, rather than a pot still.

If f: X → Y is a continuous map, x < sub > 0 </ sub > ∈ X and y < sub > 0 </ sub > ∈ Y with f ( x < sub > 0 </ sub >) = y < sub > 0 </ sub >, then every loop in X with base point x < sub > 0 </ sub > can be composed with f to yield a loop in Y with base point y < sub > 0 </ sub >.

* If G is a topological group and V is a topological vector space, a continuous representation of G on V is a representation ρ such that the application defined by is continuous.

* If V is a normed vector space with linear subspace U ( not necessarily closed ) and if is continuous and linear, then there exists an extension of φ which is also continuous and linear and which has the same norm as φ ( see Banach space for a discussion of the norm of a linear map ).

* If V is a normed vector space with linear subspace U ( not necessarily closed ) and if z is an element of V not in the closure of U, then there exists a continuous linear map with ψ ( x ) = 0 for all x in U, ψ ( z ) = 1, and || ψ || = 1 / dist ( z, U ).

If one identifies C with R < sup > 2 </ sup >, then the holomorphic functions coincide with those functions of two real variables with continuous first derivatives which solve the Cauchy-Riemann equations, a set of two partial differential equations.

The intermediate value theorem states the following: If f is a real-valued continuous function on the interval b, and u is a number between f ( a ) and f ( b ), then there is a c ∈ b such that f ( c ) = u.