{"id":505,"date":"2019-06-29T22:04:19","date_gmt":"2019-06-29T22:04:19","guid":{"rendered":"http:\/\/funfacts.104.42.120.246.xip.io\/?page_id=505"},"modified":"2020-01-03T23:29:01","modified_gmt":"2020-01-03T23:29:01","slug":"volume-of-a-ball-in-n-dimensions","status":"publish","type":"page","link":"https:\/\/math.hmc.edu\/funfacts\/volume-of-a-ball-in-n-dimensions\/","title":{"rendered":"Volume of a Ball in N Dimensions"},"content":{"rendered":"\n

The unit ball in Rn<\/sup>\u00a0is defined as the set of points (x1<\/sub>,…,xn<\/sub>) such that<\/p>\n\n\n\n

x1<\/sub>2<\/sup>\u00a0+ … + xn<\/sub>2<\/sup>\u00a0<= 1.<\/p>\n\n\n\n

What is the volume of the unit ball in various dimensions?<\/p>\n\n\n\n

Let’s investigate! The 1-dimensional volume (i.e., length) of the 1-dimensional ball (the interval [-1,1]) is 2<\/font>.\n
The 2-dimensional volume (i.e., area) of the unit disc in the plane is Pi<\/font>.\n
The 3-dimensional volume of the unit ball in R3<\/sup>is 4\/3 Pi<\/font>.
The “volume” of the unit ball in R4<\/sup>is (Pi\/2) * Pi<\/font>.\n
So apparently, as the dimension increases, so does the volume of the unit ball. What does this volume tend to as the dimension tends to infinity?<\/p>\n\n\n\n

Intuitively, one may think that in higher and higher dimensions there’s more and more “room” in the unit ball, allowing its volume to become larger and larger. Does the volume become infinite, or does it approach a sufficiently large constant as the dimension increases?<\/p>\n\n\n\n

The answer is surprising and shows how our intuition is often misleading. Using multivariable calculus one can calculate the volume of the unit ball in Rn<\/sup>\u00a0to be<\/p>\n\n\n\n

V(n) = Pin\/2<\/sup>\u00a0\/ Gamma(n\/2 + 1),<\/p>\n\n\n\n

where Gamma is the\u00a0Gamma function\u00a0that generalizes the factorial function (i.e., Gamma(z+1) = z!). For n even, say n=2k, the volume of the unit ball is thus given by<\/p>\n\n\n\n

V(n) = Pik<\/sup>\/k!<\/font>.<\/p>\n\n\n\n

Since k! tends to infinity faster than Pik<\/sup>, it follows that V(n) tends to 0 as n tends to infinity!<\/p>\n\n\n\n

In\u00a0higher dimensions\u00a0you can fit less and less stuff into the unit ball. Of course, by stuff we mean n-dimensional stuff, since the unit ball in Rn<\/sup>\u00a0always contains all the lower dimensional unit balls!<\/p>\n\n\n\n

Presentation\u00a0Suggestions:<\/strong>
Try computing the volume of the unit ball in R3<\/sup>\u00a0and R4<\/sup>\u00a0using multivariable calculus. Then using a computer algebra package plot V(n) using the formula above. What dimension seems to have the maximal volume? Now plot V(n)1\/n<\/sup>. Explain. Explore these same ideas with the surface area. See also\u00a0Surface Area of a Sphere\u00a0and\u00a0High Dimensional Spheres in Cubes.<\/p>\n\n\n\n

The Math Behind the Fact:<\/strong>
One may work with the formula for V(n) by applying Stirling’s Formula, which approximates Gamma(x+1) by xx<\/sup> e-x<\/sup> (2 Pi x)1\/2<\/sup> for large x, to see why the surprising fact above is true.<\/p>\n\n\n\n

Another heuristic is the following probabilistic argument. Pick n points independently and identically distributed (i.i.d.) from a uniform distribution in [-1,1], and form an n-tuple out of these numbers. The resulting vector represents a point picked randomly out of the unit box B=[-1,1]n<\/sup>, so the probability that such a point is in the unit n-ball is the ratio R(n) of the volume V(n) to the volume of the unit box, which is 2n<\/sup>.<\/p>\n\n\n\n

Notice that if there are just two coordinates of this point that are greater than 1\/Sqrt[2], then the point cannot be in the unit n-ball. As n grows, we choose more and more coordinates i.i.d. from the uniform distribution, and the smaller the probability is that just zero or one of those n coordinates are bigger than 1\/Sqrt[2]. A little thought reveals that for large n, this probability decreases by about 1\/Sqrt[2] for each new coordinate that is chosen. This shows that the ratio R(n) tends to 0 as n goes to infinity.<\/p>\n\n\n\n

However, we hope to show that V(n)=2n<\/sup>R(n) tends to 0 as n goes to infinity. A refinement of the above argument will do the trick: if there are just five coordinates of this point that are greater than 1\/Sqrt[5], then the point cannot be in the unit n-ball. For large n, as each new coordinate chosen, the\u00a0probability\u00a0than less than five coordinates are bigger than 1\/Sqrt[5] drops by about 1\/Sqrt[5]. So V(n) changes by about a factor 1\/Sqrt[5] as n is incremented, for large n. On the other hand, the factor 2n<\/sup>\u00a0changes by a factor of 2 as n is incremented, for large n. Hence 2n<\/sup>\u00a0changes by a factor of 2\/Sqrt[5] for large enough n, so whatever this quantity is, it eventually gets smaller and smaller.<\/p>\n\n\n\n

How to Cite this Page:<\/strong> 
Su, Francis E., et al. “Volume of a Ball in N Dimensions.” Math Fun Facts<\/em>. <http:\/\/www.math.hmc.edu\/funfacts>.<\/p>\n\n\n\n

Fun Fact suggested by:  <\/strong>
Jon Jacobsen  <\/p>\n","protected":false},"excerpt":{"rendered":"

The unit ball in Rn\u00a0is defined as the set of points (x1,…,xn) such that x12\u00a0+ … + xn2\u00a0<= 1. What...<\/p>\n","protected":false},"author":7,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"tags":[57,2,20,7,8,123,12,45],"class_list":["post-505","page","type-page","status-publish","hentry","tag-advanced","tag-algebra","tag-analysis","tag-calculus","tag-geometry","tag-multivariable-calculus","tag-other","tag-probability"],"jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/pages\/505","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/comments?post=505"}],"version-history":[{"count":3,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/pages\/505\/revisions"}],"predecessor-version":[{"id":1697,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/pages\/505\/revisions\/1697"}],"wp:attachment":[{"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/media?parent=505"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/math.hmc.edu\/funfacts\/wp-json\/wp\/v2\/tags?post=505"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}