Borel–Kolmogorov Paradox
   HOME
*





Borel–Kolmogorov Paradox
In probability theory, the Borel–Kolmogorov paradox (sometimes known as Borel's paradox) is a paradox relating to conditional probability with respect to an event of probability zero (also known as a null set). It is named after Émile Borel and Andrey Kolmogorov. A great circle puzzle Suppose that a random variable has a uniform distribution on a unit sphere. What is its conditional distribution on a great circle? Because of the symmetry of the sphere, one might expect that the distribution is uniform and independent of the choice of coordinates. However, two analyses give contradictory results. First, note that choosing a point uniformly on the sphere is equivalent to choosing the longitude \lambda uniformly from \pi,\pi/math> and choosing the latitude \varphi from \frac,\frac/math> with density \frac \cos \varphi. Then we can look at two different great circles: # If the coordinates are chosen so that the great circle is an equator (latitude \varphi = 0), the conditional ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Probability Theory
Probability theory is the branch of mathematics concerned with probability. Although there are several different probability interpretations, probability theory treats the concept in a rigorous mathematical manner by expressing it through a set of axioms. Typically these axioms formalise probability in terms of a probability space, which assigns a measure taking values between 0 and 1, termed the probability measure, to a set of outcomes called the sample space. Any specified subset of the sample space is called an event. Central subjects in probability theory include discrete and continuous random variables, probability distributions, and stochastic processes (which provide mathematical abstractions of non-deterministic or uncertain processes or measured quantities that may either be single occurrences or evolve over time in a random fashion). Although it is not possible to perfectly predict random events, much can be said about their behavior. Two major results in probability ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Conditional Probability
In probability theory, conditional probability is a measure of the probability of an event occurring, given that another event (by assumption, presumption, assertion or evidence) has already occurred. This particular method relies on event B occurring with some sort of relationship with another event A. In this event, the event B can be analyzed by a conditional probability with respect to A. If the event of interest is and the event is known or assumed to have occurred, "the conditional probability of given ", or "the probability of under the condition ", is usually written as or occasionally . This can also be understood as the fraction of probability B that intersects with A: P(A \mid B) = \frac. For example, the probability that any given person has a cough on any given day may be only 5%. But if we know or assume that the person is sick, then they are much more likely to be coughing. For example, the conditional probability that someone unwell (sick) is coughing might be ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Leibniz Integral Rule
In calculus, the Leibniz integral rule for differentiation under the integral sign, named after Gottfried Leibniz, states that for an integral of the form \int_^ f(x,t)\,dt, where -\infty < a(x), b(x) < \infty and the integral are functions dependent on x, the derivative of this integral is expressible as \frac \left (\int_^ f(x,t)\,dt \right )= f\big(x,b(x)\big)\cdot \frac b(x) - f\big(x,a(x)\big)\cdot \frac a(x) + \int_^\frac f(x,t) \,dt, where the partial derivative \tfrac indicates that inside the integral, only the variation of f(x, t) with x is considered in taking the derivative. In the special case where the functions a(x) and b(x) are constants a( ...
[...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

L'Hôpital's Rule
In calculus, l'Hôpital's rule or l'Hospital's rule (, , ), also known as Bernoulli's rule, is a theorem which provides a technique to evaluate limits of indeterminate forms. Application (or repeated application) of the rule often converts an indeterminate form to an expression that can be easily evaluated by substitution. The rule is named after the 17th-century French mathematician Guillaume de l'Hôpital. Although the rule is often attributed to l'Hôpital, the theorem was first introduced to him in 1694 by the Swiss mathematician Johann Bernoulli. L'Hôpital's rule states that for functions and which are differentiable on an open interval except possibly at a point contained in , if \lim_f(x)=\lim_g(x)=0 \text \pm\infty, and g'(x)\ne 0 for all in with , and \lim_\frac exists, then :\lim_\frac = \lim_\frac. The differentiation of the numerator and denominator often simplifies the quotient or converts it to a limit that can be evaluated directly. History Guillaume ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Measure-preserving Transformation
In mathematics, a measure-preserving dynamical system is an object of study in the abstract formulation of dynamical systems, and ergodic theory in particular. Measure-preserving systems obey the Poincaré recurrence theorem, and are a special case of conservative systems. They provide the formal, mathematical basis for a broad range of physical systems, and, in particular, many systems from classical mechanics (in particular, most non-dissipative systems) as well as systems in thermodynamic equilibrium. Definition A measure-preserving dynamical system is defined as a probability space and a measure-preserving transformation on it. In more detail, it is a system :(X, \mathcal, \mu, T) with the following structure: *X is a set, *\mathcal B is a σ-algebra over X, *\mu:\mathcal\rightarrow ,1/math> is a probability measure, so that \mu (X) = 1, and \mu(\varnothing) = 0, * T:X \rightarrow X is a measurable transformation which preserves the measure \mu, i.e., \forall A\in \m ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Rotation Matrix
In linear algebra, a rotation matrix is a transformation matrix that is used to perform a rotation in Euclidean space. For example, using the convention below, the matrix :R = \begin \cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end rotates points in the plane counterclockwise through an angle with respect to the positive axis about the origin of a two-dimensional Cartesian coordinate system. To perform the rotation on a plane point with standard coordinates , it should be written as a column vector, and multiplied by the matrix : : R\mathbf = \begin \cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end \begin x \\ y \end = \begin x\cos\theta-y\sin\theta \\ x\sin\theta+y\cos\theta \end. If and are the endpoint coordinates of a vector, where is cosine and is sine, then the above equations become the trigonometric summation angle formulae. Indeed, a rotation matrix can be seen as the trigonometric summation angle formulae in matrix form. One w ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Joint Probability Distribution
Given two random variables that are defined on the same probability space, the joint probability distribution is the corresponding probability distribution on all possible pairs of outputs. The joint distribution can just as well be considered for any given number of random variables. The joint distribution encodes the marginal distributions, i.e. the distributions of each of the individual random variables. It also encodes the conditional probability distributions, which deal with how the outputs of one random variable are distributed when given information on the outputs of the other random variable(s). In the formal mathematical setup of measure theory, the joint distribution is given by the pushforward measure, by the map obtained by pairing together the given random variables, of the sample space's probability measure. In the case of real-valued random variables, the joint distribution, as a particular multivariate distribution, may be expressed by a multivariate cumulativ ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Spherical Wedge
In geometry, a spherical wedge or ungula is a portion of a ball bounded by two plane semidisks and a spherical lune (termed the wedge's ''base''). The angle between the radii lying within the bounding semidisks is the dihedral . If is a semidisk that forms a ball when completely revolved about the ''z''-axis, revolving only through a given produces a spherical wedge of the same angle . Beman (2008) remarks that "a spherical wedge is to the sphere of which it is a part as the angle of the wedge is to a perigon." A spherical wedge of radians (180°) is called a ''hemisphere'', while a spherical wedge of radians (360°) constitutes a complete ball. The volume of a spherical wedge can be intuitively related to the definition in that while the volume of a ball of radius is given by , the volume a spherical wedge of the same radius is given by :V = \frac \cdot \tfrac43 \pi r^3 = \tfrac23 \alpha r^3\,. Extrapolating the same principle and considering that the surface area ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Spherical Cap
In geometry, a spherical cap or spherical dome is a portion of a sphere or of a ball cut off by a plane. It is also a spherical segment of one base, i.e., bounded by a single plane. If the plane passes through the center of the sphere (forming a great circle), so that the height of the cap is equal to the radius of the sphere, the spherical cap is called a ''hemisphere''. Volume and surface area The volume of the spherical cap and the area of the curved surface may be calculated using combinations of * The radius r of the sphere * The radius a of the base of the cap * The height h of the cap * The polar angle \theta between the rays from the center of the sphere to the apex of the cap (the pole) and the edge of the disk forming the base of the cap If \phi denotes the latitude in geographic coordinates, then \theta+\phi = \pi/2 = 90^\circ\,, and \cos \theta = \sin \phi. The relationship between h and r is relevant as long as 0\le h\le2r. For example, the red section of the illu ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Arctan2
In computing and mathematics, the function atan2 is the 2-argument arctangent. By definition, \theta = \operatorname(y, x) is the angle measure (in radians, with -\pi < \theta \leq \pi) between the positive x-axis and the ray from the to the point (x,\,y) in the . Equivalently, \operatorname(y, x) is the

picture info

Spherical Polar Coordinates
In mathematics, a spherical coordinate system is a coordinate system for three-dimensional space where the position of a point is specified by three numbers: the ''radial distance'' of that point from a fixed origin, its ''polar angle'' measured from a fixed zenith direction, and the ''azimuthal angle'' of its orthogonal projection on a reference plane that passes through the origin and is orthogonal to the zenith, measured from a fixed reference direction on that plane. It can be seen as the three-dimensional version of the polar coordinate system. The radial distance is also called the ''radius'' or ''radial coordinate''. The polar angle may be called '' colatitude'', ''zenith angle'', '' normal angle'', or ''inclination angle''. When radius is fixed, the two angular coordinates make a coordinate system on the sphere sometimes called spherical polar coordinates. The use of symbols and the order of the coordinates differs among sources and disciplines. This article will us ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]