Английская Википедия:Disk (mathematics)
Шаблон:Short description Шаблон:Redirect Шаблон:Other uses
In geometry, a disk (also spelled disc)[1] is the region in a plane bounded by a circle. A disk is said to be closed if it contains the circle that constitutes its boundary, and open if it does not.[2]
For a radius, <math>r</math>, an open disk is usually denoted as <math>D_r</math> and a closed disk is <math>\overline{D_r}</math>. However in the field of topology the closed disk is usually denoted as <math>D^2</math> while the open disk is <math>\operatorname{Int} D^2</math>.
Formulas
In Cartesian coordinates, the open disk of center <math>(a, b)</math> and radius R is given by the formula:[1]
- <math>D=\{(x, y)\in {\mathbb R^2}: (x-a)^2+(y-b)^2 < R^2\}</math>
while the closed disk of the same center and radius is given by:
- <math>\overline{ D }=\{(x, y)\in {\mathbb R^2}: (x-a)^2+(y-b)^2 \le R^2\}.</math>
The area of a closed or open disk of radius R is πR2 (see area of a disk).[3]
Properties
The disk has circular symmetry.[4]
The open disk and the closed disk are not topologically equivalent (that is, they are not homeomorphic), as they have different topological properties from each other. For instance, every closed disk is compact whereas every open disk is not compact.[5] However from the viewpoint of algebraic topology they share many properties: both of them are contractible[6] and so are homotopy equivalent to a single point. This implies that their fundamental groups are trivial, and all homology groups are trivial except the 0th one, which is isomorphic to Z. The Euler characteristic of a point (and therefore also that of a closed or open disk) is 1.[7]
Every continuous map from the closed disk to itself has at least one fixed point (we don't require the map to be bijective or even surjective); this is the case n=2 of the Brouwer fixed point theorem.[8] The statement is false for the open disk:[9]
Consider for example the function <math>f(x,y)=\left(\frac{x+\sqrt{1-y^2}}{2},y\right)</math> which maps every point of the open unit disk to another point on the open unit disk to the right of the given one. But for the closed unit disk it fixes every point on the half circle <math>x^2 + y^2 = 1 , x >0 .</math>
As a statistical distribution
A uniform distribution on a unit circular disk is occasionally encountered in statistics. It most commonly occurs in operations research in the mathematics of urban planning, where it may be used to model a population within a city. Other uses may take advantage of the fact that it is a distribution for which it is easy to compute the probability that a given set of linear inequalities will be satisfied. (Gaussian distributions in the plane require numerical quadrature.)
"An ingenious argument via elementary functions" shows the mean Euclidean distance between two points in the disk to be Шаблон:Math,[10] while direct integration in polar coordinates shows the mean squared distance to be Шаблон:Math.
If we are given an arbitrary location at a distance Шаблон:Math from the center of the disk, it is also of interest to determine the average distance Шаблон:Math from points in the distribution to this location and the average square of such distances. The latter value can be computed directly as Шаблон:Math.
Average distance to an arbitrary internal point
To find Шаблон:Math we need to look separately at the cases in which the location is internal or external, i.e. in which Шаблон:Math, and we find that in both cases the result can only be expressed in terms of complete elliptic integrals.
If we consider an internal location, our aim (looking at the diagram) is to compute the expected value of Шаблон:Math under a distribution whose density is Шаблон:Math for Шаблон:Math, integrating in polar coordinates centered on the fixed location for which the area of a cell is Шаблон:Math ; hence <math display="block">b(q) = \frac{1}{\pi} \int_0^{2\pi} \textrm{d}\theta \int_0^{s(\theta)} r^2 \textrm{d}r = \frac{1}{3\pi} \int_0^{2\pi} s(\theta)^3 \textrm{d}\theta.</math>
Here Шаблон:Math can be found in terms of Шаблон:Math and Шаблон:Math using the Law of cosines. The steps needed to evaluate the integral, together with several references, will be found in the paper by Lew et al.;[10] the result is that <math display="block">b(q) = \frac{4}{9\pi}\biggl\{ 4(q^2-1)K(q^2) + (q^2+7)E(q^2)\biggr\} </math> where Шаблон:Math and Шаблон:Math are complete elliptic integrals of the first and second kinds.[11] Шаблон:Math; Шаблон:Math.
Average distance to an arbitrary external point
Turning to an external location, we can set up the integral in a similar way, this time obtaining
<math display="block">b(q) = \frac{2}{3\pi} \int_0^{\textrm{sin}^{-1}\tfrac{1}{q}} \biggl\{ s_{+}(\theta)^3-s_{-}(\theta)^3\biggr\} \textrm{d}\theta</math> where the law of cosines tells us that Шаблон:Math and Шаблон:Math are the roots for Шаблон:Math of the equation <math display="block">s^2-2qs\,\textrm{cos}\theta+q^2\!-\!1=0.</math> Hence <math display="block">b(q) = \frac{4}{3\pi} \int_0^{\textrm{sin}^{-1}\tfrac{1}{q}} \biggl\{ 3q^2\textrm{cos}^2\theta \sqrt{1-q^2 \textrm{sin}^2\theta} + \Bigl( 1-q^2 \textrm{sin}^2\theta\Bigr)^{\tfrac{3}{2}} \biggl\} \textrm{d}\theta. </math> We may substitute Шаблон:Math to get <math display="block">\begin{align}b(q) &= \frac{4}{3\pi} \int_0^1 \biggl\{ 3\sqrt{q^2-u^2} \sqrt{1-u^2} + \frac{(1-u^2)^{\tfrac{3}{2}}}{\sqrt{q^2-u^2}} \biggr\} \textrm{d}u \\[0.6ex] &= \frac{4}{3\pi} \int_0^1 \biggl\{ 4\sqrt{q^2-u^2} \sqrt{1-u^2} - \frac{q^2-1}{q} \frac{\sqrt{1-u^2}}{\sqrt{q^2-u^2}} \biggr\} \textrm{d}u \\[0.6ex] &= \frac{4}{3\pi} \biggl\{ \frac{4q}{3} \biggl( (q^2+1)E(\tfrac{1}{q^2})-(q^2-1)K(\tfrac{1}{q^2}) \biggr) - (q^2-1) \biggl(qE(\tfrac{1}{q^2})-\frac{q^2-1}{q}K(\tfrac{1}{q^2}) \biggr) \biggr\} \\[0.6ex] &= \frac{4}{9\pi} \biggl\{ q(q^2+7)E(\tfrac{1}{q^2}) - \frac{q^2-1}{q}(q^2+3)K(\tfrac{1}{q^2}) \biggr\} \end{align}</math> using standard integrals.[12]
Hence again Шаблон:Math, while also[13] <math display="block">\lim_{q \to \infty} b(q) = q + \tfrac{1}{8q}.</math>
See also
- Unit disk, a disk with radius one
- Annulus (mathematics), the region between two concentric circles
- Ball (mathematics), the usual term for the 3-dimensional analogue of a disk
- Disk algebra, a space of functions on a disk
- Circular segment
- Orthocentroidal disk, containing certain centers of a triangle
References
Шаблон:Compact topological surfaces Шаблон:Authority control
- ↑ 1,0 1,1 Шаблон:Citation.
- ↑ Шаблон:Citation.
- ↑ Шаблон:Citation.
- ↑ Шаблон:Cite book
- ↑ Шаблон:Citation.
- ↑ Шаблон:Citation.
- ↑ In higher dimensions, the Euler characteristic of a closed ball remains equal to +1, but the Euler characteristic of an open ball is +1 for even-dimensional balls and −1 for odd-dimensional balls. See Шаблон:Citation.
- ↑ Шаблон:Harvtxt, p. 132.
- ↑ Шаблон:Harvtxt, Ex. 1, p. 135.
- ↑ 10,0 10,1 J. S. Lew et al., "On the Average Distances in a Circular Disc" (1977).
- ↑ Abramowitz and Stegun, 17.3.
- ↑ Gradshteyn and Ryzhik 3.155.7 and 3.169.9, taking due account of the difference in notation from Abramowitz and Stegun. (Compare A&S 17.3.11 with G&R 8.113.) This article follows A&S's notation.
- ↑ Abramowitz and Stegun, 17.3.11 et seq.
