In mathematics, the fuzzy sphere is one of the simplest and most canonical examples of non-commutative geometry. Ordinarily, the functions defined on a sphere form a commuting algebra. A fuzzy sphere differs from an ordinary sphere because the algebra of functions on it is not commutative. It is generated by spherical harmonics whose spin l is at most equal to some j. The terms in the product of two spherical harmonics that involve spherical harmonics with spin exceeding j are simply omitted in the product. This truncation replaces an infinite-dimensional commutative algebra by a
The simplest way to see this sphere is to realize this truncated algebra of functions as a matrix algebra on some finite-dimensional vector space. Take the three j-dimensional matrices
where I is the j-dimensional identity matrix. Thus, if we define the 'coordinates'
which is the usual relation for the coordinates on a sphere of radius r embedded in three dimensional space.
One can define an integral on this space, by
where F is the matrix corresponding to the function f. For example, the integral of unity, which gives the surface of the sphere in the commutative case is here equal to
which converges to the value of the surface of the sphere if one takes j to infinity.