Search results
Results from the WOW.Com Content Network
Formally, a rational map: between two varieties is an equivalence class of pairs (,) in which is a morphism of varieties from a non-empty open set to , and two such pairs (,) and (′ ′, ′) are considered equivalent if and ′ ′ coincide on the intersection ′ (this is, in particular, vacuously true if the intersection is empty, but since is assumed irreducible, this is impossible).
If X is a smooth complete curve (for example, P 1) and if f is a rational map from X to a projective space P m, then f is a regular map X → P m. [5] In particular, when X is a smooth complete curve, any rational function on X may be viewed as a morphism X → P 1 and, conversely, such a morphism as a rational function on X.
For example, the conic x 2 + y 2 + z 2 = 0 in P 2 over the real numbers R is uniruled but not ruled. (The associated curve over the complex numbers C is isomorphic to P 1 and hence is ruled.) In the positive direction, every uniruled variety of dimension at most 2 over an algebraically closed field of characteristic zero is ruled.
For example, Spec k[x] and Spec k(x) and have the same function field (namely, k(x)) but there is no rational map from the former to the latter. However, it is true that any inclusion of function fields of algebraic varieties induces a dominant rational map (see morphism of algebraic varieties#Properties .)
Minds maps for academics oriented around their research papers, notes and annotations: Semantica: Semantic Research OS X, Windows: Family of software to create, view, store and share knowledge structures: SmartDraw: SmartDraw Software, LLC Windows: Visual processor used to create flowcharts, organization charts, mind maps, gantt charts and ...
A birational map from X to Y is a rational map f : X ⇢ Y such that there is a rational map Y ⇢ X inverse to f.A birational map induces an isomorphism from a nonempty open subset of X to a nonempty open subset of Y, and vice versa: an isomorphism between nonempty open subsets of X, Y by definition gives a birational map f : X ⇢ Y.
A complex rational function with degree one is a Möbius transformation. Rational functions are representative examples of meromorphic functions. [3] Iteration of rational functions on the Riemann sphere (i.e. a rational mapping) creates discrete dynamical systems. [4] Julia sets for rational maps
The image of the 1-canonical map is called a canonical curve. A canonical curve of genus g always sits in a projective space of dimension g − 1. [3] When C is a hyperelliptic curve, the canonical curve is a rational normal curve, and C a double cover of its canonical curve. For example if P is a polynomial of degree 6 (without repeated roots ...