|
Cusp Neighborhood
In mathematics, a cusp neighborhood is defined as a set of points near a cusp singularity. Cusp neighborhood for a Riemann surface The cusp neighborhood for a hyperbolic Riemann surface can be defined in terms of its Fuchsian model. Suppose that the Fuchsian group ''G'' contains a parabolic element g. For example, the element ''t'' ∈ SL(2,Z) where :t(z)=\begin 1 & 1 \\ 0 & 1 \end:z = \frac = z+1 is a parabolic element. Note that all parabolic elements of SL(2,C) are conjugate to this element. That is, if ''g'' ∈ SL(2,Z) is parabolic, then g=h^th for some ''h'' ∈ SL(2,Z). The set :U=\ where H is the upper half-plane has :\gamma(U) \cap U = \emptyset for any \gamma \in G - \langle g \rangle where \langle g \rangle is understood to mean the group generated by ''g''. That is, γ acts properly discontinuously on ''U''. Because of this, it can be seen that the projection of ''U'' onto H/''G'' is thus :E = U/ \langle g \rangle. Here, ''E'' is called the neighborho ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cusp (singularity)
In mathematics, a cusp, sometimes called spinode in old texts, is a point on a curve where a moving point must reverse direction. A typical example is given in the figure. A cusp is thus a type of singular point of a curve. For a plane curve defined by an analytic, parametric equation :\begin x &= f(t)\\ y &= g(t), \end a cusp is a point where both derivatives of and are zero, and the directional derivative, in the direction of the tangent, changes sign (the direction of the tangent is the direction of the slope \lim (g'(t)/f'(t))). Cusps are ''local singularities'' in the sense that they involve only one value of the parameter , in contrast to self-intersection points that involve more than one value. In some contexts, the condition on the directional derivative may be omitted, although, in this case, the singularity may look like a regular point. For a curve defined by an implicit equation :F(x,y) = 0, which is smooth, cusps are points where the terms of lowest degree ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemann Surface
In mathematics, particularly in complex analysis, a Riemann surface is a connected one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed versions of the complex plane: locally near every point they look like patches of the complex plane, but the global topology can be quite different. For example, they can look like a sphere or a torus or several sheets glued together. The main interest in Riemann surfaces is that holomorphic functions may be defined between them. Riemann surfaces are nowadays considered the natural setting for studying the global behavior of these functions, especially multi-valued functions such as the square root and other algebraic functions, or the logarithm. Every Riemann surface is a two-dimensional real analytic manifold (i.e., a surface), but it contains more structure (specifically a complex structure) which is needed for the unambiguous definitio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fuchsian Model
In mathematics, a Fuchsian model is a representation of a hyperbolic Riemann surface ''R'' as a quotient of the upper half-plane H by a Fuchsian group. Every hyperbolic Riemann surface admits such a representation. The concept is named after Lazarus Fuchs. A more precise definition By the uniformization theorem, every Riemann surface is either elliptic, parabolic or hyperbolic. More precisely this theorem states that a Riemann surface R which is not isomorphic to either the Riemann sphere (the elliptic case) or a quotient of the complex plane by a discrete subgroup (the parabolic case) must be a quotient of the hyperbolic plane \mathbb H by a subgroup \Gamma acting properly discontinuously and freely. In the Poincaré half-plane model for the hyperbolic plane the group of biholomorphic transformations is the group \mathrm_2(\mathbb R) acting by homographies, and the uniformization theorem means that there exists a discrete, torsion-free subgroup \Gamma \subset \mathrm_2(\ma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fuchsian Group
In mathematics, a Fuchsian group is a discrete subgroup of PSL(2,R). The group PSL(2,R) can be regarded equivalently as a group of isometries of the hyperbolic plane, or conformal transformations of the unit disc, or conformal transformations of the upper half plane, so a Fuchsian group can be regarded as a group acting on any of these spaces. There are some variations of the definition: sometimes the Fuchsian group is assumed to be finitely generated, sometimes it is allowed to be a subgroup of PGL(2,R) (so that it contains orientation-reversing elements), and sometimes it is allowed to be a Kleinian group (a discrete subgroup of PSL(2,C)) which is conjugate to a subgroup of PSL(2,R). Fuchsian groups are used to create Fuchsian models of Riemann surfaces. In this case, the group may be called the Fuchsian group of the surface. In some sense, Fuchsian groups do for non-Euclidean geometry what crystallographic groups do for Euclidean geometry. Some Escher graphics are based on t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parabolic Element
Parabolic usually refers to something in a shape of a parabola, but may also refer to a parable. Parabolic may refer to: *In mathematics: **In elementary mathematics, especially elementary geometry: ** Parabolic coordinates **Parabolic cylindrical coordinates ** parabolic Möbius transformation **Parabolic geometry (other) ** Parabolic spiral **Parabolic line **In advanced mathematics: ***Parabolic cylinder function ***Parabolic induction ***Parabolic Lie algebra ***Parabolic partial differential equation *In physics: **Parabolic trajectory *In technology: **Parabolic antenna ** Parabolic microphone **Parabolic reflector **Parabolic trough - a type of solar thermal energy collector **Parabolic flight - a way of achieving weightlessness ** Parabolic action, or parabolic bending curve - a term often used to refer to a progressive bending curve in fishing rods. *In commodities and stock markets: **Parabolic SAR - a chart pattern in which prices rise or fall with an increasingl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conjugacy Class
In mathematics, especially group theory, two elements a and b of a group are conjugate if there is an element g in the group such that b = gag^. This is an equivalence relation whose equivalence classes are called conjugacy classes. In other words, each conjugacy class is closed under b = gag^. for all elements g in the group. Members of the same conjugacy class cannot be distinguished by using only the group structure, and therefore share many properties. The study of conjugacy classes of non-abelian groups is fundamental for the study of their structure. For an abelian group, each conjugacy class is a set containing one element (singleton set). Functions that are constant for members of the same conjugacy class are called class functions. Definition Let G be a group. Two elements a, b \in G are conjugate if there exists an element g \in G such that gag^ = b, in which case b is called of a and a is called a conjugate of b. In the case of the general linear group \operatorna ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Upper Half-plane
In mathematics, the upper half-plane, \,\mathcal\,, is the set of points in the Cartesian plane with > 0. Complex plane Mathematicians sometimes identify the Cartesian plane with the complex plane, and then the upper half-plane corresponds to the set of complex numbers with positive imaginary part: :\mathcal \equiv \ ~. The term arises from a common visualization of the complex number as the point in the plane endowed with Cartesian coordinates. When the axis is oriented vertically, the "upper half-plane" corresponds to the region above the axis and thus complex numbers for which > 0. It is the domain of many functions of interest in complex analysis, especially modular forms. The lower half-plane, defined by 0. Proposition: Let ''A'' and ''B'' be semicircles in the upper half-plane with centers on the boundary. Then there is an affine mapping that takes ''A'' to ''B''. :Proof: First shift the center of ''A'' to (0,0). Then take λ = (diame ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group (mathematics)
In mathematics, a group is a Set (mathematics), set and an Binary operation, operation that combines any two Element (mathematics), elements of the set to produce a third element of the set, in such a way that the operation is Associative property, associative, an identity element exists and every element has an Inverse element, inverse. These three axioms hold for Number#Main classification, number systems and many other mathematical structures. For example, the integers together with the addition operation form a group. The concept of a group and the axioms that define it were elaborated for handling, in a unified way, essential structural properties of very different mathematical entities such as numbers, geometric shapes and polynomial roots. Because the concept of groups is ubiquitous in numerous areas both within and outside mathematics, some authors consider it as a central organizing principle of contemporary mathematics. In geometry groups arise naturally in the study of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Properly Discontinuously
In mathematics, a group action on a space is a group homomorphism of a given group into the group of transformations of the space. Similarly, a group action on a mathematical structure is a group homomorphism of a group into the automorphism group of the structure. It is said that the group ''acts'' on the space or structure. If a group acts on a structure, it will usually also act on objects built from that structure. For example, the group of Euclidean isometries acts on Euclidean space and also on the figures drawn in it. For example, it acts on the set of all triangles. Similarly, the group of symmetries of a polyhedron acts on the vertices, the edges, and the faces of the polyhedron. A group action on a vector space is called a representation of the group. In the case of a finite-dimensional vector space, it allows one to identify many groups with subgroups of , the group of the invertible matrices of dimension over a field . The symmetric group acts on any set with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Poincaré Metric
In mathematics, the Poincaré metric, named after Henri Poincaré, is the metric tensor describing a two-dimensional surface of constant negative curvature. It is the natural metric commonly used in a variety of calculations in hyperbolic geometry or Riemann surfaces. There are three equivalent representations commonly used in two-dimensional hyperbolic geometry. One is the Poincaré half-plane model, defining a model of hyperbolic space on the upper half-plane. The Poincaré disk model defines a model for hyperbolic space on the unit disk. The disk and the upper half plane are related by a conformal map, and isometries are given by Möbius transformations. A third representation is on the punctured disk, where relations for ''q''-analogues are sometimes expressed. These various forms are reviewed below. Overview of metrics on Riemann surfaces A metric on the complex plane may be generally expressed in the form :ds^2=\lambda^2(z,\overline)\, dz\,d\overline where λ is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fundamental Domain
Given a topological space and a group acting on it, the images of a single point under the group action form an orbit of the action. A fundamental domain or fundamental region is a subset of the space which contains exactly one point from each of these orbits. It serves as a geometric realization for the abstract set of representatives of the orbits. There are many ways to choose a fundamental domain. Typically, a fundamental domain is required to be a connected subset with some restrictions on its boundary, for example, smooth or polyhedral. The images of a chosen fundamental domain under the group action then tile the space. One general construction of fundamental domains uses Voronoi cells. Hints at a general definition Given an action of a group ''G'' on a topological space ''X'' by homeomorphisms, a fundamental domain for this action is a set ''D'' of representatives for the orbits. It is usually required to be a reasonably nice set topologically, in one of several preci ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
