- In Probability Theory , to say that two events are Statistically Independent intuitively means that knowing whether or not one of them occurs makes it neither more probable nor less probable that the other occurs. For example, the event of getting a "1" when a die is thrown and the event of getting a "1" the second time it is thrown are independent. Formally, ''n'' events ''A''1, ..., ''A''''n'' are independent if Pr(''A''1 and ... and ''A''''n'') = Pr(''A''1) × ... × Pr(''A''''n''). An infinite collection of events is independent if every finite subcollection is independent. Real -valued Random Variable s ''X''1, ..., ''X''''n'' Independent , provided that for all real numbers ''s''1, ..., ''s''''n'', the events ≤ ''s''1 , ..., ≤ ''s''''n'' are independent events. Independence of infinitely many random variables is defined analogously.
- A set of Vectors is said to be Linearly Independent provided that the only representation of zero as a linear combination of these vectors is the trivial combination where each vector is multiplied by zero. If every element of a vector space ''S'' can be written a linear combination of the set of given vectors, those vectors are said to Span ''S''. A collection of linearly independent vectors that span ''S'' is said to be a Basis for ''S''. For example, the vectors (1,0,0), (0,1,0), and (0,0,1) are linearly independent, and they form a basis for three-dimensional Euclidean Space .
- The argument to a Function is the Independent Variable . This is an entirely different concept from those of statistical independence or linear algebraic independence.
- A proposition P is said to Logically Independent of a set of Axiom s A, provided that there exists a consistent mathematical model where the proposition P and the axioms of A are true, and ''also'' there exists a consistent model where "not P" and the axioms of A are true. Equivalently, this means that if one assumes the axioms in A to be true (but does not assume more), one would not get a contradiction by also assuming that P is true, and, also, would not get a contradiction by instead assuming P to be false.
: Paul Cohen proved that the "continuum hypothesis" concerning the cardinality of the set of real numbers is a proposition that is independent of the usual model for arithmetic. This settled problem number 1 on David Hilbert 's famous list of mathematical problems.
|
