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 G is a locally compact Hausdorff topological group and μ its Haar measure, then the Banach space L < sup > 1 </ sup >( G ) of all μ-integrable functions on G becomes a Banach algebra under the convolution xy ( g ) = ∫ x ( h ) y ( h < sup >− 1 </ sup > g ) dμ ( h ) for x, y in L < sup > 1 </ sup >( G ).

If F and G are ( covariant ) functors between the categories C and D, then a natural transformation η from F to G associates to every object X in C a morphism in D such that for every morphism in C, we have ; this means that the following diagram is commutative:

If G is a group, and g is a fixed element of G, then the conjugation map

If a vector field F with zero divergence is defined on a ball in R < sup > 3 </ sup >, then there exists some vector field G on the ball with F = curl ( G ).

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 at least one of a set of configurations must occur somewhere in G, that set is called unavoidable.

Likewise, a functor from G to the category of vector spaces, Vect < sub > K </ sub >, is a linear representation of G. In general, a functor G → C can be considered as an " action " of G on an object in the category C. If C is a group, then this action is a group homomorphism.

If the graph G is connected, then the rank of the free group is equal to 1 − χ ( G ): one minus the Euler characteristic of G.

If K is a subset of ker ( f ) then there exists a unique homomorphism h: G / K → H such that f = h φ.

If f is an element of G ( x, y ) then x is called the source of f, written s ( f ), and y the target of f ( written t ( f )).

If G = GL < sub >*</ sub >( K ), then the set of natural numbers is a proper subset of G < sub > 0 </ sub >, since for each natural number n, there is a corresponding identity matrix of dimension n. G ( m, n ) is empty unless m = n, in which case it is the set of all nxn invertible matrices.

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 the method is applied to an infinite sequence ( X < sub > i </ sub >: i ∈ ω ) of nonempty sets, a function is obtained at each finite stage, but there is no stage at which a choice function for the entire family is constructed, and no " limiting " choice function can be constructed, in general, in ZF without the axiom of choice.

* Let Q be a set enclosed between two step regions S and T. A step region is formed from a finite union of adjacent rectangles resting on a common base, i. e. S ⊆ Q ⊆ T. If there is a unique number c such that a ( S ) ≤ c ≤ a ( T ) for all such step regions S and T, then a ( Q )

If a is algebraic over K, then K, the set of all polynomials in a with coefficients in K, is not only a ring but a field: an algebraic extension of K which has finite degree over K. In the special case where K = Q is the field of rational numbers, Q is an example of an algebraic number field.

If μ is both inner regular and locally finite, it is called a Radon measure.

If numerical iterative methods have to be employed, the aim is to iterate until full machine accuracy is obtained ( the best that is possible with a finite word length on the computer, and within the mathematical and / or physical approximations made ).

If the rational number's denominator has any prime factors other than 2 or 5, it cannot be expressed as a finite decimal fraction, and has a unique eventually repeating infinite decimal expansion.

If the initial value of a polynomial ( and of its finite differences ) is calculated by some means for some value of X, the difference engine can calculate any number of nearby values, using the method generally known as the method of finite differences.

If physical reality is totally finite, then the Copenhagen interpretation might be an approximation to an information processing system below the Planck scale.

) If a set is finite, its elements may be written as a sequence:

If black holes have a finite entropy, they should also have a finite temperature.

If V is a nonempty finite set then V * is a countably infinite set.

If we require that the Lie group be simply connected, then the global structure is determined by its Lie algebra: for every finite dimensional Lie algebra over F there is a simply connected Lie group G with as Lie algebra, unique up to isomorphism.

If there is a finite generator of M, then M is said to be finitely generated.

A measure μ is continuous from above: If E < sub > 1 </ sub >, E < sub > 2 </ sub >, E < sub > 3 </ sub >, … are measurable sets and E < sub > n + 1 </ sub > is a subset of E < sub > n </ sub > for all n, then the intersection of the sets E < sub > n </ sub > is measurable ; furthermore, if at least one of the E < sub > n </ sub > has finite measure, then

If has finite norm, then is infinitely close to.

If the number of solutions is finite, there are algorithms to compute the solutions.

If then we obtain a contradiction, because the sum does not exceed which is finite.

:" If the pantheist starts with the belief that the one great reality, eternal and infinite, is God, he sees everything finite and temporal as but some part of God.

If we allow a finite automaton access to two stacks instead of just one, we obtain a more powerful device, equivalent in power to a Turing machine.

If A < sub > i </ sub > in R < sub > i </ sub > is an ideal for each i in I, then A = Π < sub > i in I </ sub > A < sub > i </ sub > is an ideal of R. If I is finite, then the converse is true, i. e. every ideal of R is of this form.

If ρ acts on a finite dimensional Hilbert space and has eigenvalues