Mathematical phenomena can be understood and explored via visualization. Classically this consisted of two-dimensional drawings or building three-dimensional models (particularly plaster models in the 19th and early 20th century), while today it most frequently consists of using computers to make static two or three dimensional drawings, animations, or interactive programs. Writing programs to visualize mathematics is an aspect of computational geometry.
Mathematical visualization is used throughout mathematics, particularly in the fields of geometry and analysis. Notable examples include plane curves, space curves, polyhedra, ordinary differential equations, partial differential equations (particularly numerical solutions, as in fluid dynamics or minimal surfaces such as soap films), conformal maps, fractals, and chaos.
Geometry can be defined as the study of shapes their size, angles, dimensions and proportions [1]
This section needs expansion. You can help by adding to it. (August 2020) |
This section needs expansion. You can help by adding to it. (August 2020) |
This section needs expansion. You can help by adding to it. (August 2020) |
In complex analysis, functions of the complex plane are inherently 4-dimensional, but there is no natural geometric projection into lower dimensional visual representations. Instead, colour vision is exploited to capture dimensional information using techniques such as domain coloring.
This section needs expansion. You can help by adding to it. (August 2020) |
This section needs expansion. You can help by adding to it. (August 2020) |
This section needs expansion. You can help by adding to it. (August 2020) |
Many people have a vivid “mind’s eye,” but a team of British scientists has found that tens of millions of people cannot conjure images. The lack of a mental camera is known as aphantasia, and millions more experience extraordinarily strong mental imagery, called hyperphantasia. Researchers are studying how these two conditions arise through changes in the wiring of the brain.
Visualization played an important role at the beginning of topological knot theory, when polyhedral decompositions were used to compute the homology of covering spaces of knots. Extending to 3 dimensions the physically impossible Riemann surfaces used to classify all closed orientable 2-manifolds, Heegaard's 1898 thesis "looked at" similar structures for functions of two complex variables, taking an imaginary 4-dimensional surface in Euclidean 6-space (corresponding to the function f=x^2-y^3) and projecting it stereographically (with multiplicities) onto the 3-sphere. In the 1920s Alexander and Briggs used this technique to compute the homology of cyclic branched covers of knots with 8 or fewer crossings, successfully distinguishing them all from each other (and the unknot). By 1932 Reidemeister extended this to 9 crossings, relying on linking numbers between branch curves of non-cyclic knot covers. The fact that these imaginary objects have no "real" existence does not stand in the way of their usefulness for proving knots distinct. It was the key to Perko's 1973 discovery of the duplicate knot type in Little's 1899 table of 10-crossing knots.
This section needs expansion. You can help by adding to it. (August 2020) |
Permutation groups have nice visualizations of their elements that assist in explaining their structure—e.g., the rotated and flipped regular p-gons that comprise the dihedral group of order 2p. They may be used to "see" the relationships among linking numbers between branch curves of dihedral covering spaces of knots and links. [3]
This section needs expansion. You can help by adding to it. (August 2020) |
This section needs expansion. You can help by adding to it. (August 2020) |
Stephen Wolfram's book on cellular automata, A New Kind of Science (2002), is one of the most intensely visual books published in the field of mathematics. It has been criticized for being too heavily visual, with much information conveyed by pictures that do not have formal meaning. [5]
This section needs expansion. You can help by adding to it. (August 2020) |
The cover of the journal The Notices of the American Mathematical Society regularly features a mathematical visualization.
Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries.
In mathematics, an equation is a mathematical formula that expresses the equality of two expressions, by connecting them with the equals sign =. The word equation and its cognates in other languages may have subtly different meanings; for example, in French an équation is defined as containing one or more variables, while in English, any well-formed formula consisting of two expressions related with an equals sign is an equation.
A sphere is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. Formally, a sphere is the set of points that are all at the same distance r from a given point in three-dimensional space. That given point is the centre of the sphere, and r is the sphere's radius. The earliest known mentions of spheres appear in the work of the ancient Greek mathematicians.
In mathematics, topology is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself.
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify up to homotopy equivalence.
In geometry, a pseudosphere is a surface with constant negative Gaussian curvature.
In topology, knot theory is the study of mathematical knots. While inspired by knots which appear in daily life, such as those in shoelaces and rope, a mathematical knot differs in that the ends are joined so it cannot be undone, the simplest knot being a ring. In mathematical language, a knot is an embedding of a circle in 3-dimensional Euclidean space, . Two mathematical knots are equivalent if one can be transformed into the other via a deformation of upon itself ; these transformations correspond to manipulations of a knotted string that do not involve cutting it or passing it through itself.
In geometry, a hypersurface is a generalization of the concepts of hyperplane, plane curve, and surface. A hypersurface is a manifold or an algebraic variety of dimension n − 1, which is embedded in an ambient space of dimension n, generally a Euclidean space, an affine space or a projective space. Hypersurfaces share, with surfaces in a three-dimensional space, the property of being defined by a single implicit equation, at least locally, and sometimes globally.
In mathematics, low-dimensional topology is the branch of topology that studies manifolds, or more generally topological spaces, of four or fewer dimensions. Representative topics are the structure theory of 3-manifolds and 4-manifolds, knot theory, and braid groups. This can be regarded as a part of geometric topology. It may also be used to refer to the study of topological spaces of dimension 1, though this is more typically considered part of continuum theory.
In mathematics, a 3-manifold is a topological space that locally looks like a three-dimensional Euclidean space. A 3-manifold can be thought of as a possible shape of the universe. Just as a sphere looks like a plane to a small enough observer, all 3-manifolds look like our universe does to a small enough observer. This is made more precise in the definition below.
In the mathematical field of algebraic topology, the homotopy groups of spheres describe how spheres of various dimensions can wrap around each other. They are examples of topological invariants, which reflect, in algebraic terms, the structure of spheres viewed as topological spaces, forgetting about their precise geometry. Unlike homology groups, which are also topological invariants, the homotopy groups are surprisingly complex and difficult to compute.
In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an -dimensional manifold, or -manifold for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of -dimensional Euclidean space.
In mathematics, Floer homology is a tool for studying symplectic geometry and low-dimensional topology. Floer homology is a novel invariant that arises as an infinite-dimensional analogue of finite-dimensional Morse homology. Andreas Floer introduced the first version of Floer homology, now called Lagrangian Floer homology, in his proof of the Arnold conjecture in symplectic geometry. Floer also developed a closely related theory for Lagrangian submanifolds of a symplectic manifold. A third construction, also due to Floer, associates homology groups to closed three-dimensional manifolds using the Yang–Mills functional. These constructions and their descendants play a fundamental role in current investigations into the topology of symplectic and contact manifolds as well as (smooth) three- and four-dimensional manifolds.
In mathematics, a surface is a mathematical model of the common concept of a surface. It is a generalization of a plane, but, unlike a plane, it may be curved; this is analogous to a curve generalizing a straight line.
In mathematics, an immersion is a differentiable function between differentiable manifolds whose differential pushforward is everywhere injective. Explicitly, f : M → N is an immersion if
In mathematics, more specifically in differential geometry and topology, various types of functions between manifolds are studied, both as objects in their own right and for the light they shed
Mathematics is a broad subject that is commonly divided in many areas that may be defined by their objects of study, by the used methods, or by both. For example, analytic number theory is a subarea of number theory devoted to the use of methods of analysis for the study of natural numbers.
In geometry, a quadrisecant or quadrisecant line of a space curve is a line that passes through four points of the curve. This is the largest possible number of intersections that a generic space curve can have with a line, and for such curves the quadrisecants form a discrete set of lines. Quadrisecants have been studied for curves of several types:
In differential geometry, the Angenent torus is a smooth embedding of the torus into three-dimensional Euclidean space, with the property that it remains self-similar as it evolves under the mean curvature flow. Its existence shows that, unlike the one-dimensional curve-shortening flow, the two-dimensional mean-curvature flow has embedded surfaces that form more complex singularities as they collapse.
In three-dimensional hyperbolic geometry, an ideal polyhedron is a convex polyhedron all of whose vertices are ideal points, points "at infinity" rather than interior to three-dimensional hyperbolic space. It can be defined as the convex hull of a finite set of ideal points. An ideal polyhedron has ideal polygons as its faces, meeting along lines of the hyperbolic space.