''of a function, set of values of a function, image of a function''
...$x \in X$ with $f(x) = y$. Thus, the range of values of a function is the image of its [[domain of definition]], $Y_f = f(X)$.
487 bytes (97 words) - 21:17, 18 December 2014
...[zero-dimensional space]]. Also, every [[compact space]] is the continuous image of a closed subspace of a Cantor cube.
The terminology is slightly ambiguous: a [[dyadic space]] is a continuous image of a Cantor cube, so that "dyadic discontinuum" could also mean "totally
551 bytes (75 words) - 06:58, 27 April 2016
...the area $S(E)$ of that part of the convex surface $F$ that has spherical image $E\subset\Omega$. This definition remains meaningful for general convex sur
...lled the spherical image of $x$. The procedure for obtaining the spherical image of a point goes under the name of spherical mapping, cf. [[Spherical map|Sp
1 KB (179 words) - 15:31, 1 May 2014
$#C+1 = 33 : ~/encyclopedia/old_files/data/I050/I.0500150 Image of a morphism
A concept similar to that of the image of a mapping of one set into another. However, in category theory there are
4 KB (576 words) - 22:11, 5 June 2020
$#C+1 = 12 : ~/encyclopedia/old_files/data/S085/S.0805800 Small image
is closed (cf. [[Closed mapping|Closed mapping]]) if and only if the small image $ f ^ { \sharp } U $
1 KB (176 words) - 16:30, 22 February 2021
...ts with $n=1$. After the introduction of a suitable topology, the analytic image is converted to the [[Riemann surface]] of the given function.
1 KB (199 words) - 17:44, 1 November 2014
...us mapping|Continuous mapping]]) of topological spaces under which the pre-image of every point is compact. Perfect mappings are akin to continuous mappings
...pre-image, and the Suslin number of the image is equal to that of the pre-image. If a completely-regular $T_1$-space is mapped onto a completely-regular $T
3 KB (492 words) - 18:49, 16 April 2014
...ssible to select a finite number of sets so that $y$ is located inside the image of their union. It is particularly important that the product of any collec
756 bytes (124 words) - 22:05, 11 April 2014
The topological image of a [[Disc|disc]] (cf. also [[Disc, topological|Disc, topological]]).
92 bytes (13 words) - 17:10, 7 February 2011
A homeomorphic image of a circle (cf. also [[Homeomorphism|Homeomorphism]]). Named after C. Jord
222 bytes (31 words) - 17:13, 7 February 2011
A continuous image of a [[Borel set]]. Since any Borel set is a continuous
image of the set of irrational numbers, an ${\mathcal A}$-set can be defined as a
2 KB (327 words) - 14:21, 15 August 2023
is entirely covered by the image of the disc $ | z | < 1 $
there are points not belonging to the image only if $ f $
5 KB (681 words) - 17:31, 5 June 2020
...space]] such that $\pi(x)^*=\pi(x^*)$ for all $x\in A$, where $x^*$ is the image of $x$ under the involution of $A$.
340 bytes (52 words) - 13:53, 8 April 2023
...w Y$ is a morphism of algebraic varieties, then $f(X)$ (and, moreover, the image under $f$ of any constructible subset in $X$) is a constructible subset in
...ed constructible if $h(X)$ is finite and if for any point $t\in T$ the pre-image $h^{-1}(t)$ is a constructible subset in $X$.
1 KB (202 words) - 17:38, 14 April 2018
...onto a topological space $Y$ which is irreducible (that is, $Y$ is not the image of any proper closed subset of $X$, cf. also [[Irreducible mapping|Irreduci
253 bytes (41 words) - 14:42, 1 May 2014
...xtensions $A \subset \Omega$ and $B \subset \Omega$. It is the same as the image of the homomorphism $ \phi : A \otimes_{k} B \to \Omega$ that maps the tens
347 bytes (59 words) - 21:46, 22 October 2017
...s such particularly useful for the analysis of geometrical structure in an image. It has been applied in various disciplines, such as mineralogy, medical di
...and their interrelations. In general, this procedure results in non-linear image operators, some of which will be described briefly below.
6 KB (839 words) - 07:59, 6 June 2020
A mapping of one topological space to another, under which the image of every closed set is a closed set. The class of continuous closed mapping
...e the above-mentioned properties. The explanation for this is that the pre-image of a point under a continuous closed mapping need not be compact, though in
4 KB (635 words) - 17:44, 4 June 2020
...delta$-diagonal are also metrizable. The perfect image and the perfect pre-image of a paracompact $P$-space are also paracompact $P$-spaces.
2 KB (256 words) - 16:19, 22 September 2017
...puter vision, aimed at detecting and characterizing discontinuities in the image domain.
...on in terms of edges is also compact in the sense that the two-dimensional image pattern is represented by a set of one-dimensional curves. For these reason
6 KB (889 words) - 15:31, 1 July 2020
...all inverse images of points are finite. Mappings under which the inverse image of every compact set is compact are called $ k $-
is open if and only if its complete inverse image $ f ^ { - 1 } ( V) $
6 KB (910 words) - 07:59, 6 June 2020
A mapping of one topological space into another under which the image of every open set is itself open.
...by a complete metric. If a [[Paracompact space|paracompact space]] is the image of a [[Complete metric space|complete metric space]] under a continuous ope
3 KB (511 words) - 08:04, 6 June 2020
...f the $2$-dimensional sphere $S^2$; also, every cactoid is a monotone open image of $S^2$.
460 bytes (78 words) - 22:20, 1 November 2014
...tremal disconnectedness is not preserved by perfect mappings. However, the image of an extremally-disconnected space under a continuous open mapping is an e
2 KB (261 words) - 19:42, 14 April 2017
...et: \(X\) satisfies the first axiom of countability; \(X\) is a continuous image of an ordered compactum; \(X\) is hereditarily normal; \(X\) is hereditaril
3 KB (415 words) - 20:38, 2 January 2021
A '''Suslin space''' is a continuous image of a Polish space.
473 bytes (65 words) - 19:36, 1 January 2021
...rplane section in $\PP^n$. The Veronese mapping is a closed imbedding; its image $v_m(\PP^n)$ is called a Veronese variety, and is defined by the equations
in $\PP^n$ its image with respect to the Veronese mapping $v_m$ is the intersection of the Veron
2 KB (408 words) - 23:35, 22 October 2018
a pre-image $ x \in L _ {n} $
will then be the image of an element $ z \in Z _ {n-} 1 ( K _ {\mathbf . } ) $
2 KB (254 words) - 22:11, 5 June 2020
..., depending on the orientation. Certain knots can differ from their mirror image owing to the fact that their branched coverings are asymmetric varieties.
591 bytes (78 words) - 06:09, 23 April 2023
...nding to the deformation over a principal base, as well as to the Clifford image of the asymptotic lines of a surface in an elliptic space (which is the [[R
5 KB (766 words) - 12:40, 2 November 2014
It follows from the Tarski–Seidenberg theorem that the image under a polynomial mapping $ \mathbf R ^ {n} \rightarrow \mathbf R ^ {m
...t on a real-analytic manifold is, by definition, a set that is locally the image of a semi-analytic set under an analytic mapping. The points of a subanalyt
4 KB (573 words) - 18:05, 26 January 2022
...ts of the kernel $\ker d$ are known as ''cycles''; and the elements of the image $\mathrm{im}\, d$ are called ''boundaries''. The ''homology'' of $C$ is th
513 bytes (78 words) - 14:52, 8 April 2023
...rithmic capacity|logarithmic capacity]]. As an example, any function whose image does not contain a disc of a fixed radius $\epsilon > 0$ centred at $a +
...proved that an analytic function is in $\operatorname{BMOA}$ provided its image [[Riemann surface]] (viewed as spread out over the complex plane) has the f
5 KB (707 words) - 19:01, 22 January 2024
The Lindelöf principle states that under these conditions: 1) the inverse image $ \widetilde{D} _ \rho $
lies inside the inverse image $ D _ \rho $
6 KB (873 words) - 22:16, 5 June 2020
...an open connected set. The basic property here is that of openness of the image, which follows from Rouché's theorem or from the principle of the argument
say, then the image $ f ( X) \subset Y $
3 KB (457 words) - 08:07, 6 June 2020
..., touching an arc of the circle $L$ (the image of $K$) at that point; this image is represented in Fig. band is the Zhukovskii profile.
4 KB (542 words) - 19:58, 4 January 2024
A continuous mapping $h : f(X) \rightarrow X$ of the image $f(X)$ of a continuous mapping $f : X \rightarrow Y$ of topological spaces
294 bytes (55 words) - 19:51, 22 October 2016
is always the image of some horizontal distribution $ \Delta $
is obtained as the image $ \pi ^ {*} \overline \Delta \; $,
3 KB (524 words) - 17:36, 13 January 2021
such that the image of any set $ U $
while the inverse image $ f ^ { - 1 } ( y) $
2 KB (327 words) - 22:13, 5 June 2020
...z$ vary monotonically on the image of the trajectory in $|z|<\alpha$. Each image of a trajectory twists around the point $z=0$ and behaves asymptotically li
...ha$ in the other direction. The modulus of $z$ varies monotonically on the image of the trajectory in $|z|<\alpha$. Different images of trajectories have di
6 KB (960 words) - 21:47, 1 January 2019
...ontinuum. The topological product of continua is a continuum, a continuous image of a continuum is a continuum, the components of a Hausdorff compactum are
Every locally connected metric continuum is a continuous image of a closed segment (the Hahn–Mazurkiewicz theorem). A non-degenerate con
2 KB (336 words) - 15:31, 23 July 2012
...continuous mapping $g : X \to Q^n$ that coincides with $f$ on the inverse image $f^{-1} S^{n-1}$ of the boundary $S^{n-1}$ of $Q^n$ and takes $X$ into $S^{
1 KB (230 words) - 06:26, 14 January 2017
...ath.org/legacyimages/c/c025/c025720/c02572018.png" /> the complete inverse
image <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/l
...ediaofmath.org/legacyimages/c/c025/c025720/c02572049.png" />, that is, the
image of any bounded set <img align="absmiddle" border="0" src="https://www.encyc
10 KB (1,407 words) - 17:07, 7 February 2011
...orithms, aimed at detecting and classifying the nature of junctions in the image domain. A main reason why corner detection is important is that junctions p
One way of detecting junctions directly from image intensities consists of finding points at which the gradient magnitude $| \
5 KB (686 words) - 16:45, 1 July 2020
...try with respect to a circle). The centre of an inversion does not have an image. An inversion with negative power $k$ is equivalent to the inversion with t
Sometimes an [[ideal point]] $\infty$ is regarded as the image of the centre of an inversion under this inversion, especially when one con
3 KB (469 words) - 18:16, 17 December 2017
...mbedding]]. If a curve $X$ is not hyper-elliptic and has genus 2, then its image in the projective space $P^{g-1}$ under a canonical imbedding has degree $2
3 KB (391 words) - 13:15, 7 April 2023
...$u$ of a set $X$ (in general endowed with some structure) into itself. The image of an element $x \in X$ under the transformation $u$ is denoted by $u(x)$,
705 bytes (113 words) - 20:15, 24 September 2016
...encyclopediaofmath.org/legacyimages/c/c025/c025710/c0257105.png" /> of its
image <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/l
a) the inverse
image <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/l
15 KB (2,197 words) - 17:15, 7 February 2011
...eta$ if $\alpha$ is a limit ordinal number; $Z_\alpha$ is the complete pre-image of the centre of the quotient group $G/Z_\beta$ if $\alpha = \beta+1$ is a
753 bytes (117 words) - 19:06, 12 December 2015
...f $S$ is a normal sub-semi-group if and only if it is the complete inverse image of the [[unit element]] under some homomorphism of $S$ onto a [[Monoid|semi
644 bytes (108 words) - 18:31, 13 December 2014
...pace of codimension 1. There is always some element $a \in F$ not in the image of $A$, and so the corresponding Artin-Schreier polynomial has no root in
2 KB (380 words) - 19:41, 15 November 2023
The geometric image of the modulus $|f(z)|$ of an analytic function $f(z)$, $z=x+iy$. The analy
930 bytes (137 words) - 11:16, 5 October 2014
The indicatrix of tangents is also called the spherical tangent image. See also [[Spherical indicatrix|Spherical indicatrix]].
775 bytes (120 words) - 09:29, 27 June 2014
===Image enhancement.===
...nd to be generated by sharp edges. Thus, one can reduce the contrast of an image by diminishing the higher-order terms of its Walsh–Fourier series, and in
4 KB (668 words) - 08:28, 6 June 2020
...(G_f) $ of the second component does not produce the codomain but only the image of the domain.
$ f_\ast (S) $ is called the ''image'' of $S$ under $f$, usually denoted as $f(S)$, and
4 KB (657 words) - 11:54, 20 March 2016
...lign="top"> W. Sierpiński, "Sur une courbe cantorienne qui contient une image binniro que et continue de toute courbe donnée" ''C.R. Acad. Sci. Paris''
1 KB (168 words) - 07:55, 26 March 2012
...modulo $J$ (i.e. for every idempotent of $R/J$ there is an idempotent pre-image in $R$), then $R$ is isomorphic to the full matrix ring of a [[local ring]]
915 bytes (144 words) - 16:49, 17 October 2014
...encountered analogues of the Paley–Wiener theorem are a description of the image of the space $ C _ {0} ^ \infty ( G) $
...itely-differentiable functions of compact support and a description of the image of the space $ S ( G) $
4 KB (591 words) - 08:04, 6 June 2020
A continuous image of a segment filling the interior of a square (or triangle). It was discove
...onditions a) $X$ is a locally connected space and b) $X$ is the continuous image of an interval, are equivalent.
6 KB (983 words) - 18:13, 13 August 2023
...the image of an intersection is the sum of the images. In particular, the image of a point is a hyperplane and vice versa. A necessary and sufficient condi
its image is the orthogonal complement of $ V $
6 KB (878 words) - 14:59, 2 May 2023
is the image $ D ^ {3} $
and 3) the pre-image $ \phi ^ {-} 1 ( D _ {i} ) $
4 KB (597 words) - 08:26, 6 June 2020
is contained in the image of the homomorphism
the group which is the image of the natural homomorphism
4 KB (549 words) - 22:11, 5 June 2020
...al surface carries a focal net consisting of geodesic lines. The spherical image of the developable surfaces of a Guichard congruence is a [[Chebyshev net|C
1 KB (166 words) - 16:57, 7 February 2011
...an additive category there exists an image $\operatorname{Im}(u)$ and a co-image $\operatorname{Coim}(u)$, then there exists a unique morphism $u\colon\oper
3 KB (490 words) - 23:53, 10 December 2018
with the same spherical image, in which each $ \Sigma _ {k+ 1} $
In general, the search for the spherical image of an Egorov system $ \Sigma $
4 KB (653 words) - 07:55, 25 April 2022
...e $S^n$ into the Euclidean space $E^n$ there exist antipodes with a common image; 2) Any mapping of the sphere $S^n$ into itself in which the images of anti
1 KB (163 words) - 06:23, 28 October 2017
An example of a curve containing the topological image of any curve (and, in addition, of every one-dimensional separable metrizab
1 KB (161 words) - 18:18, 27 March 2018
...(Y) \to \CH(X)$ is a homomorphism of rings, and for $f$ proper, the direct-image homomorphism $f_*: \CH(X)\to \CH(Y)$ is a homomorphism of $\CH(Y)$-modules.
...g that preserves the degree and commutes with the inverse-image and direct-image homomorphisms.
4 KB (714 words) - 21:54, 24 April 2012
that is the image of $ E $
The image of $ E $
3 KB (430 words) - 10:48, 20 January 2024
...] real-valued function on it takes all intermediate values. The continuous image of a connected space, the [[topological product]] of connected spaces, and
1 KB (158 words) - 18:42, 12 August 2023
...h was later termed quasi-continuity, where it is required that the inverse image of every open set is semi-open, i.e., is contained in the closure of its in
3 KB (444 words) - 14:56, 1 May 2014
at this point (i.e. the dimension of the image $ df ( T _ {x _ {0} } M) $
The set of all critical points is called the critical set, the image $ f( x _ {0} ) $
9 KB (1,400 words) - 11:09, 26 March 2023
...hat is a $T_2$-space is a compactum, and every compactum is the continuous image of the Cantor set (Aleksandrov's theorem). The product of a finite or count
3 KB (481 words) - 18:40, 16 April 2014
...s) in an image (a picture), by applying a coordinate transformation to the image such that all the points belonging to a line (or a curve) are mapped into a
image plane gives rise to a two-parameter family. When using the normal parametri
5 KB (768 words) - 22:11, 5 June 2020
The image (under a translation) of a vector subspace $M$ with one-dimensional quotien
819 bytes (141 words) - 13:01, 26 April 2016
a pre-image) of the space onto the plane $ \Pi ^ \prime $
the image) is called the projection of $ A $.
3 KB (526 words) - 08:08, 6 June 2020
...e $Y$ for which a set $v\subseteq Y$ is open in $Y$ if and only if its pre-image $f^{-1}v$ is open in $X$. If one is given a mapping $f$ of a topological sp
...t mapping be such. The restriction of a quotient mapping to a complete pre-image does not have to be a quotient mapping. More precisely, if $f:X\to Y$ is a
7 KB (1,119 words) - 10:25, 1 January 2018
..._n=0\}$ can conveniently be represented by a Hartogs diagram, viz., by the image of the Hartogs domain under the mapping $('z,z_n)\to('z,|z_n|)$.
1 KB (202 words) - 20:11, 22 November 2018
is called the range, or image, of $ R $.
is called the image of $ a $
8 KB (1,265 words) - 17:31, 5 June 2020
...|topological space]] in which any two points can be joined by a continuous image of a simple arc; that is, a space $ X $
...space is connected (cf. [[Connected space|Connected space]]). A continuous image of a path-connected space is path-connected.
3 KB (480 words) - 10:17, 19 January 2022
...pace, then a linear representation of $X$ on $E$ is a representation whose image contains only continuous linear operators on $E$. The space $E$ is called t
1 KB (197 words) - 19:18, 25 October 2014
...ng]] of a topological space $X$ onto a topological space $Y$ such that the image of every closed set in $X$, other than $X$ itself, is different from $Y$. I
1 KB (208 words) - 20:43, 14 October 2017
is the tangent bundle) contains in its image all vectors normal to $ X $
in the pre-image $ V $
5 KB (763 words) - 14:33, 27 April 2024
...3$ an edge of regression represents a smooth curve $L$ in $M$, with smooth image $f(L)\subset E^3$, such that for any $p\in f(L)$ the intersection of $M$ wi
1 KB (168 words) - 16:30, 15 April 2014
the image of an element $ (a, b) \in A \times A $
...the orthogonal group is called the subgroup of Euclidean motions. The pre-image of the special linear group SGL is called the equi-affine subgroup (cf. [[A
6 KB (910 words) - 20:40, 4 April 2020
...pact space. In particular, any finite space is quasi-compact. A continuous image of a quasi-compact space is quasi-compact. A topological product of any num
1 KB (185 words) - 20:48, 16 October 2014
...l and if every idempotent of the quotient ring $R/J$ has an idempotent pre-image in $R$. The first condition can be replaced by the requirement of classical
1 KB (178 words) - 16:20, 4 October 2014
When domain and image are fixed to certain shapes, pictures become equivalent to many other combi
...also be computed by the jeu de taquin at the image side, to transform the image $ \psi $
5 KB (742 words) - 08:06, 6 June 2020
...a function expressing the property that equivalent elements have the same image under the function.
1 KB (189 words) - 17:00, 23 November 2023
...m $f$. The functor $f^*$ adjoint to $f*$ on the left is called the inverse-image functor. In particular, the stalk of $\mathcal{F}$ at a geometric point $\e
3 KB (538 words) - 20:07, 3 June 2017
...n interval. However, an exponent of uncountable weight is not a continuous image of the Tikhonov cube $ I ^ \tau $.
4 KB (611 words) - 19:38, 5 June 2020
.... Gauss in 1814. The image under the spherical map is called the spherical image of $ M ^ {k} $.
is the inverse image of the metric form of $ S ^ {k} $,
10 KB (1,530 words) - 08:22, 6 June 2020
A theory of multi-scale representation of sensory data developed by the image processing and computer vision communities. The purpose is to represent sig
...e a compact way to characterize the local image structure around a certain image point at any scale. Specifically, the output from scale-space derivatives c
7 KB (994 words) - 15:30, 1 July 2020
...ke continuum is a pseudo-arc. Every snake-like continuum is the continuous image of a pseudo-arc and the limit of the inverse spectrum of arcs.
1 KB (205 words) - 12:29, 12 April 2014
...oup of the [[fundamental group]] $\pi_1(Y,y_0)$, where $y_0 \in Y$, by the image of the group $\pi_1(X,x_0)$, where $p(x_0)=y_0$, under the homomorphism ind
1 KB (227 words) - 19:57, 10 December 2017
is the area of the spherical image of $ U $,
is defined as the length of the spherical image of $ C $(
4 KB (529 words) - 19:41, 5 June 2020
the image of the hyperbolic disc with centre at the point $ z _ {0} \in D $
...erbolic metric yields a more precise estimate of the domain containing the image of a hyperbolic disc in $ D $,
4 KB (660 words) - 11:51, 1 May 2023
...e corresponding points. If $V^n$ is complete, then the equi-distant is the image under the [[Exponential mapping|exponential mapping]] of the vectors of con
1 KB (212 words) - 21:08, 14 April 2014
...a cyclic group, that for every $\phi : H \rightarrow G$, if $g$ is in the image of $\phi$ then $\phi$ is an [[epimorphism]] ([[surjection|surjective]] as a
1 KB (202 words) - 14:02, 12 November 2023
A [[Topological space|topological space]] containing a homeomorphic image of every topological space of a certain class. Examples are: 1) $ C [ 0 ,
...notion of universal space: Every space in a certain class is a continuous image of the space in question. E.g., the [[Cantor set|Cantor set]] is universal
6 KB (949 words) - 07:39, 14 June 2022
...that $X$ be a paracompact feathered space (Arkhangel'skii's theorem). The image of a paracompact feathered space under a perfect mapping is a paracompact f
...<TD valign="top">[3]</TD> <TD valign="top"> V.V. Filippov, "The perfect image of a paracompact feathered space" ''Soviet Math. Dokl.'' , '''8''' (1967)
6 KB (962 words) - 20:32, 23 September 2017
and called image sources.
of the [[Laplace equation|Laplace equation]]. Adding a negative unit charge image at the point $ ( x _ {0} , - y _ {0} ) $
7 KB (1,055 words) - 07:59, 6 June 2020
...f $\mathbf{R}$ (or $\mathbf{C}$), it induces an open mapping, that is, the image of any open set $G \subset X$ is an open set in $\mathbf{R}$ (or $\mathbf{C
1 KB (204 words) - 16:14, 17 September 2017
...ple, there is a Peterson correspondence between a surface and it spherical image (cf. [[Spherical map|Spherical map]]), between a surface and its [[Rotation
..., and the base of the isometry for the new surfaces has the same spherical image as the original ones. For example, a sphere and a surface of constant posit
4 KB (660 words) - 19:40, 3 January 2021
A function (or mapping) is called '''surjective''' if the image of its domain ([[range of values]]) coincides with its range ([[codomain]])
1 KB (230 words) - 21:19, 18 December 2014
The image of the Whitehead homomorphism has been completely calculated (cf. [[#Refere
the Whitehead group is a monomorphism and its image is a direct summand in the group $ \pi _ {m} ^ {S} ( S ^ {0} ) $;
9 KB (1,201 words) - 20:31, 16 January 2024
...tes truth, and an empty disjunction denotes falsity) is called the formula image of the sequent.
1 KB (231 words) - 13:27, 14 February 2020
that is, the image of every non-identity element of a group under a regular automorphism must
2 KB (234 words) - 08:10, 6 June 2020
[[Vector space|vector space]] into itself under which the image of the
sum of two vectors is the sum of their images and the image of the
9 KB (1,480 words) - 17:14, 20 January 2022
be a non-singular closed subvariety. The weak pre-image of the ideal $ I $
...a sequence of blowing-ups with non-singular centres for which the weak pre-image $ I $
7 KB (965 words) - 08:11, 6 June 2020
...y non-empty open subset is [[ Everywhere-dense set|everywhere dense]]. The image of an irreducible topological space under a continuous mapping is irreducib
2 KB (241 words) - 08:04, 3 January 2016
...ry filter which is finer than a Cauchy filter is also a Cauchy filter. The image of a Cauchy filterbase under a uniformly-continuous mapping is again a Cauc
2 KB (279 words) - 21:05, 2 May 2016
...ition that $f(z)$ is bounded in $g$ by the more general condition that the image of $g$ under the mapping $w=f(z)$ is not dense in the $w$-plane. The streng
2 KB (264 words) - 21:15, 1 November 2014
...space whereby any two of its points can be joined by a path (a continuous image of a segment). An open connected subset is called a domain. Domains and con
...t. For closed maps the property of being monotone is equivalent to the pre-image of each connected subset being connected.
8 KB (1,209 words) - 06:00, 22 April 2023
...ical space|weight]], and every compactum can be obtained as the continuous image of a closed set of a Cantor cube of the same weight. These facts generalize
2 KB (246 words) - 17:35, 27 February 2018
...space $Y$ such that each point $y\in Y$ has a neighbourhood $U(y)$ the pre-image of which under $p$ is a union of open subsets that are mapped homeomorphica
...lement of $H$. The point $q(1)$ for the paths of one class is taken as the image of this class; this defines $p$. The topology in $X$ is uniquely determined
4 KB (700 words) - 17:04, 13 June 2020
...–Hirzebruch problem for quasi-complex manifolds consists in describing the image of the mapping $ \phi $.
Then the image of the homomorphism
5 KB (680 words) - 08:07, 6 June 2020
onto its image in $ P ^ {N} $
onto its image in $ P ^ { \mathop{\rm dim} | n K | } $.
7 KB (986 words) - 19:41, 5 June 2020
the image of $ \sigma ^ {n} $
...ual, cycles and boundaries are those chains which belong to the kernel and image of $ \partial ^ {n} $,
8 KB (1,130 words) - 08:14, 6 June 2020
and the image of entourages in $ X $
2 KB (257 words) - 17:46, 4 June 2020
A mapping of one space into another under which the pre-image of each point is compact (cf. [[Compact space|Compact space]]). The require
2 KB (261 words) - 16:55, 7 February 2011
...dules remain valid for semi-linear mappings. In particular, the kernel and image of a semi-linear mapping are submodules; semi-linear mappings of free modul
2 KB (264 words) - 22:23, 2 November 2013
...geometric figures [[#References|[7]]]. (In stereology a multi-dimensional image has to be described through its intersections with straight lines or planes
...of fractional dimensions [[#References|[5]]], mathematical morphology and image analysis [[#References|[6]]], random shape theory [[#References|[7]]].
7 KB (1,051 words) - 09:27, 22 August 2014
...ruence is formed by the normals of a surface with the isothermic spherical image of curvature lines.
2 KB (305 words) - 08:11, 6 June 2020
is the image of $ g _ {2} $
2 KB (302 words) - 22:10, 5 June 2020
...r element. When a corresponding topology has been introduced, the analytic image becomes the Riemann surface for the given function.
The construct here called the [[Analytic image|analytic image]] is variously called the analytic configuration, the analytic entity and t
13 KB (1,972 words) - 20:02, 15 January 2024
the inverse image $ f ^ { - 1 } ( U) $
2 KB (233 words) - 08:09, 6 June 2020
...sed in a naive and non-technical sense as follows. View a curve $C$ as the image of a finite or infinite interval in Euclidean space $E^n$. Let $\phi$ be a
2 KB (316 words) - 11:16, 26 March 2023
...ve) can be constructed; this is a Cantor curve that contains a topological image of every Cantor curve.
2 KB (298 words) - 06:29, 30 May 2020
the linear group $\def\Ad{\mathop{\textrm{Ad}}} \Ad G$ which is the image of the Lie group or algebraic group $G$ under the adjoint representation (c
2 KB (278 words) - 17:24, 20 January 2022
of its image. For $ g \leq 3 $
and its image is the Kummer variety $ K( X, \Theta ) $(
11 KB (1,642 words) - 14:55, 7 June 2020
by the Stiefel numbers it is necessary to find its image. This problem is analogous to the Milnor–Hirzebruch problem for Chern cla
can be in the image of the mapping $ \phi $
5 KB (796 words) - 08:23, 6 June 2020
A simple closed curve is a topological image of a circle in the plane.
2 KB (292 words) - 18:20, 16 April 2014
...function necessarily has zeros. It follows from Cauchy's theorem that the image of an interval on the real line under a continuous mapping into the real li
...suming two distinct values, also assumes any value between them; hence the image of $ X $
5 KB (824 words) - 15:35, 4 June 2020
...nt sheaf of a flabby sheaf by a flabby sheaf is itself a flabby sheaf. The image of a flabby sheaf under a continuous mapping is a flabby sheaf. If $X$ is p
2 KB (276 words) - 18:47, 13 October 2014
is well-defined and is a closed imbedding. The image $ \phi ( P ^ {n} \times P ^ {m} ) $
2 KB (264 words) - 08:12, 6 June 2020
...{ * }$. Without loss of generality one may assume that $G ^ { * }$ is the image of $| \zeta | > 1$ under a univalent conformal mapping (cf. also [[Conforma
...], [[#References|[a2]]], [[#References|[a4]]]. If, for example, $C$ is the image of $| \zeta | = 1$ under a univalent conformal mapping of an annulus $r < |
7 KB (989 words) - 20:48, 23 January 2024
denotes the [[small image]] of the set $ O _ {i} $
2 KB (274 words) - 11:41, 18 February 2022
A set $E\subset \mathbb R^n$ is the image of a rectifiable curve if and only if it is compact, connected and it has f
...ctive), the length of the curve is then the $\mathcal{H}^1$ measure of its image (cp. with Lemma 3.2 of {{Cite|Fa}}). More generally, in the presence of sel
4 KB (658 words) - 13:56, 14 December 2012
...'faithful'': $G$ may be regarded as a subgroup of $S_X$. In any case, the image of $\rho$ is a [[permutation group]] on $X$.
2 KB (330 words) - 16:58, 25 November 2023
...nd every $y\in f(X)$ there is a neighbourhood $U_y\subset Y$ whose inverse image $f^{-1}(U_y)$ splits into a discrete system of open sets in $X$ of diameter
2 KB (318 words) - 19:08, 21 November 2018
the image of this set, $ f ( E) $,
...if (respectively, only if — see below for the missing "if" ) the inverse image $ f ^ { - 1 } ( \{ x \} ) $
6 KB (847 words) - 04:11, 6 June 2020
...if every non-trivial finitely generated subgroup has a non-trivial finite image.)
2 KB (294 words) - 22:07, 14 January 2017
...30/c0262303.png" /> is a convex function if and only if the tangent to the
image of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.or
...lopediaofmath.org/legacyimages/c/c026/c026230/c02623048.png" /> of the pre-
image of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.or
19 KB (2,650 words) - 17:07, 7 February 2011
A subset of a complete separable metric space that is a continuous image of the space of irrational numbers. The concept of an analytic set was intr
is a subset of that space that is the image of a closed subset of the space of irrational numbers under an upper semi-c
12 KB (1,915 words) - 18:47, 5 April 2020
...e. The metric completion of a metric totally-bounded space is compact. The image of a totally-bounded space under a uniformly continuous mapping is a totall
2 KB (349 words) - 13:16, 12 December 2013
is one-to-one and the image $ f ( I ^ {p} ) $
2 KB (333 words) - 16:43, 4 June 2020
...of a module coincides with the set of endomorphisms having an inessential image.
2 KB (361 words) - 19:20, 2 October 2016
with respect to the image $ \Gamma ^ {*} = f ( \Gamma ) $
with respect to the image $ \Gamma ^ {*} = f ( \Gamma ) $:
6 KB (869 words) - 22:17, 5 June 2020
The area of the complement to the image of a domain under a mapping by a function regular in it is non-negative. Th
of the complement of the image $ F ( \Delta ^ \prime ) $
9 KB (1,232 words) - 07:25, 26 March 2023
...^A$, where $\phi(X)_\alpha = f_\alpha(X)$, is a homeomorphism onto its own image. Then, by definition, $\beta X = [\phi(X)]$ (where $[ \cdot ]$ denotes the
2 KB (335 words) - 10:44, 19 October 2016
set is a one-to-one continuous image of some $ C {\mathcal A} $-
2 KB (333 words) - 06:29, 30 May 2020
...)$ be the irreducible polynomial of $\theta$ over $k$, let $f^*(x)$ be the image of $f(x)$ in the ring $A/\mathfrak{p}[x]$ and let $f^*(x) = f_1^*(x)^{e_1}\
2 KB (331 words) - 11:31, 17 September 2017
is the image of the submodule $ A _ {n} $
2 KB (330 words) - 16:25, 23 November 2023
...sional continuous linear operators on $E$; if $A$ is a Banach algebra, the image of $A$ in this realization is contained in the uniform closure $F(E)$ of th
2 KB (360 words) - 15:29, 15 April 2014
...$X$ is separable (for $Y$ this is not a necessary condition; however, the image of a completely-continuous operator is always separable).
2 KB (372 words) - 20:40, 2 April 2013
..._\sigma$ ($G_\delta$)]]). Each topological space can be represented as the image under a continuous open mapping of a paracompact Hausdorff space with a cou
2 KB (346 words) - 13:09, 27 September 2014
The image of a curve in the three-dimensional Euclidean space $ \mathbf R ^ {3} $
2 KB (378 words) - 08:22, 6 June 2020
...non-bijective) measure-preserving map need not be measurable (indeed, the image of a null set need not be null; try the projection $\R^2\to\R^1$). Neverth
...\in\F$ whenever $A_1\subset\Om_1$ and $A=f^{-1}(A_1)$. In particular, the image $f(\Om)$belongs to $\F_1$. (See {{Cite|Ru|Th. 3-2}} and {{Cite|H|Prop. 9}}
14 KB (2,104 words) - 16:21, 17 April 2012
...ge of every point is at a positive distance from the complement of the pre-image of every neighbourhood of this point.
6 KB (1,004 words) - 19:52, 3 February 2021
...le functions to another that preserves the property that the image and pre-image are the numbers of the same function (the presence of an effective translat
6 KB (919 words) - 08:26, 6 June 2020
...aracterizations of an ellipsoid are as follows: An ellipsoid is the affine image of a [[Sphere|sphere]]; an ellipsoid is a non-degenerate [[Quadric|quadric]
2 KB (309 words) - 22:00, 24 April 2012
..._i$, for all $i = 1,\ldots,n$, and $\phi_a(1)$ is the identity of $S$. The image of a polynomial $f \in k[x_1,\ldots,x_n]$ under this homomorphism is called
is exact, that is, the kernel of one homomorphism is the image of the next. This result is one possible formulation of the [[Hilbert theor
6 KB (1,011 words) - 06:01, 30 September 2023
inverse image); and
direct image).
12 KB (1,730 words) - 22:13, 5 June 2020
...nd $f _ { L } ^ { \leftarrow } : L ^ { Y } \rightarrow L ^ { X }$ (the pre-image operator) by
...\phi ) ^ { \leftarrow } ( b ) = \phi ^ { \text{op} } \circ b \circ f$. An image operator $( f , \phi ) ^ { \rightarrow }$ is also available which, if $\phi
13 KB (1,886 words) - 17:28, 25 November 2023
its image $ T _ {X} ( x) $
2 KB (351 words) - 17:33, 5 June 2020
is the direct image of the sheaf of linear functions on $ k ^ {N+1} $
as its quotient. The direct image of the structure sheaf under the mapping $ k ^ {N+1} \setminus \{ 0 \}
6 KB (950 words) - 12:37, 29 December 2021
...ce into a locally convex space. If a separable locally convex space is the image of a Fréchet space under an open mapping, then it is itself a Fréchet spa
2 KB (359 words) - 22:13, 26 July 2012
In [[#References|[a1]]], J.F. Adams was studying the order of the image of the $J$-homomorphism and related topics. He was led to the following con
2 KB (351 words) - 14:26, 19 April 2014
if among the components of the inverse image of the set $ M \setminus \alpha $
2 KB (382 words) - 08:12, 6 June 2020
is said to be horizontal if the image of its tangential mapping lies in a horizontal subbundle.
is a nilpotent element (see [[#References|[4]]]). The image of the monodromy group $$
12 KB (1,699 words) - 09:49, 20 December 2019
$\Omega^1$. The image of the mapping $H_1(X,{\mathbb Z}) \to (\Omega^1)^*$ thus obtained is a lat
2 KB (366 words) - 18:09, 12 September 2011
is a monomorphism. Below a description of the image of the homomorphism $ \phi $
lies in the image of the homomorphism $ \phi : \Omega _ {2n} ^ {u} \rightarrow A $
8 KB (1,150 words) - 18:42, 13 January 2024
matrices with complex entries; the image of this homomorphism is called the monodromy group $ M ( t _ {0} , G ) $
3 KB (379 words) - 08:01, 6 June 2020
...f Dupin (cf. [[Dupin cyclide|Dupin cyclide]]). They can be obtained as the image of the torus under a conformal transformation of the ambient space.
3 KB (414 words) - 09:10, 26 March 2023
...g in numerical analysis, multi-resolution analysis and pyramidal coding in image processing.
...align="top"> M. Antonini, M. Barlaud, I. Daubechies, P. Mathieu, "Image coding using vector quantization in the wavelet transform domain" , ''IEEE
6 KB (909 words) - 08:28, 6 June 2020
...]; a neighbourhood of the identity of a Banach Lie group is covered by the image of the exponential mapping; there is a correspondence between connected clo
3 KB (427 words) - 22:16, 5 June 2020
...ace is defined by means of the concept of a surface patch — a homeomorphic image of a square in $ E ^ {3} $.
3 KB (385 words) - 14:55, 7 June 2020
A homomorphic image of a subgroup is a subgroup. If a group $G_1$ is isomorphic to a subgroup $
3 KB (467 words) - 14:22, 30 August 2014
...value theorem for a continuous function on a closed interval: A continuous image of a connected topological space in a topological space is also connected.
26 KB (3,622 words) - 17:12, 7 February 2011
$ \mathop{\rm Im} f $ (the image of $ f $),
and $ \mathop{\rm Coim} f $ (the co-image of $ f $),
11 KB (1,695 words) - 20:37, 23 December 2023
...almost uniformly convergent random variables with given weakly convergent image laws" ''Ann. Math. Stat.'' , '''41''' (1970) pp. 284–291</TD></TR></ta
3 KB (375 words) - 08:14, 6 June 2020
(here the bar denotes the image under the reduction $ A \rightarrow A/ \mathfrak m $).
3 KB (386 words) - 22:10, 5 June 2020
The image of this homomorphism, which is a subgroup of $ G $,
3 KB (397 words) - 08:04, 6 June 2020
...tre of a group]]), and coincides with $Z _ { G }$ if $G$ is connected. The image $\text{Ad}( G )$ is called the [[Adjoint group|adjoint group]]; it is a Lie
...ext { ad } )$, coincides with the centre of the Lie algebra $\frak g$. The image, $\operatorname{ad}({\frak g} )$, forms a subalgebra of $\operatorname { De
8 KB (1,184 words) - 16:59, 1 July 2020
...tors $\ad x$ are derivations of $\g$ and are called inner derivations. The image $\ad \g$ is called the adjoint linear Lie algebra and is an ideal in the Li
3 KB (407 words) - 16:57, 27 March 2012
...e a mapping having the property above, with the further condition that the image $ f ( X ) $
3 KB (411 words) - 08:09, 6 June 2020
is by definition the image of a representative of $ P $
3 KB (439 words) - 08:09, 6 June 2020
that annihilates the image of a homomorphism $ \alpha : A \rightarrow B $.
3 KB (417 words) - 16:16, 5 June 2020
Then the image of the homomorphism
3 KB (434 words) - 22:14, 5 June 2020
...ed have a pre-image in $\Pi_0$ and not every point of $\Pi_0$ need have an image in $\Pi_1$. This leads to the necessity of completing affine space by so-ca
7 KB (1,119 words) - 13:21, 12 December 2013
one can take the image of the unit under the composition of the canonical mappings $ A \rightarr
3 KB (430 words) - 08:07, 6 June 2020
...ra-morphism $m\colon A \longrightarrow B$, $A/\sim_m$ is isomorphic to the image $m(A)$ of $A$ under $m$ {{Cite|ST99}}.
...with $\sim=\sim^A$ {{Cite|W90}}. This is the case, in turn, iff it is the image of $T(\Sigma)$ under a $\Sigma$-algebra-morphism.
8 KB (1,264 words) - 16:16, 18 February 2013
into the unit disc. Closest to the origin of coordinates is the image of $ z ^ \prime $.
the mapping is lattice conformal and the image of $ Q _ {T} $
8 KB (1,168 words) - 20:13, 12 January 2024
that are in the image of $ X _ {H _ {2} } $
that are in the image of $ X _ {H _ {2} } $.
10 KB (1,362 words) - 08:22, 26 March 2023
...ny magma with cancellation is imbeddable into a quasi-group. A homomorphic image of a quasi-group is a magma with division, that is, a magma in which the eq
3 KB (454 words) - 19:12, 7 January 2016
as well as the image of $ G $
4 KB (534 words) - 11:05, 17 December 2019
...ee [[Tikhonov product|Tikhonov product]]). A topological space that is the image of a compact space under a continuous mapping is a compact space. These pro
compactum; the image of a $ T _ {2} $-
26 KB (3,890 words) - 16:31, 5 June 2020
...ient module of a finitely-generated free module by a submodule which is an image of a finitely-generated free module. Such a ring is called a left coherent
3 KB (479 words) - 17:45, 4 June 2020
...$A$. This property is invariant under continuous mappings. Any continuous image of a Luzin space lying in $Y$ has Lebesgue measure zero and dimension zero.
3 KB (449 words) - 09:03, 2 January 2021
...ble, and when a reasonable topology is introduced in the image and inverse image, then the operator in question is an open mapping, i.e., $ L $ is locally i
7 KB (1,113 words) - 16:28, 16 January 2017
...same Kauffman polynomial. In particular, the knot $9_{42}$ and its mirror image $\overline { 9 } _ { 42 }$ are different but have the same Kauffman polynom
...om the Alexander polynomial, it often distinguishes a knot from its mirror image but, for example, it does not distinguish the knots $11_{255}$ and $11_{257
7 KB (1,046 words) - 17:02, 1 July 2020
...$L$ be a linear system without fixed components on $V$ and let $W$ be the image of the variety $V$ under the mapping given by $L$. The following two theore
3 KB (451 words) - 11:57, 23 April 2017
denotes the image of a set $ E \subset D _ {0} $
3 KB (406 words) - 13:07, 6 January 2024
If the area of the Riemann surface that is the image of $ V $
then the direct image $ f ( B) $
7 KB (1,075 words) - 19:29, 1 January 2021
...of the language under consideration) into the natural number sequence. The image of a word is called its number. Relations between and operations defined on
3 KB (481 words) - 12:48, 14 February 2020
such that the pre-image of any open affine subscheme in $ S $
3 KB (464 words) - 05:59, 19 March 2022
whose image coincides with $ A \cap [ F, F ] $.
3 KB (473 words) - 08:12, 6 June 2020
The image of a class $ x \in h ^ {n} ( X) $
3 KB (443 words) - 08:24, 6 June 2020
onto the set of semi-simple elements of its image.
3 KB (489 words) - 16:35, 17 December 2019
...clopediaofmath.org/legacyimages/b/b015/b015310/b01531052.png" />-th direct
image of the sheaf <img align="absmiddle" border="0" src="https://www.encyclopedi
11 KB (1,513 words) - 17:08, 7 February 2011
is the inverse image of the nil radical (cf. [[Nil ideal|Nil ideal]]) of $ R/A $.
3 KB (505 words) - 08:09, 6 June 2020
...jective object of a category]]) implies that every object is an epimorphic image of a projective object (namely a suitable coproduct of copies of the genera
3 KB (545 words) - 19:41, 5 June 2020
Passing to the Fourier image one sets $ { {J _ \alpha } hat } ( k ) = J ( e ^ {ik \cdot x } \otimes
3 KB (424 words) - 19:41, 5 June 2020
consists of the zero vector only and the image of $ A - \lambda I $
4 KB (546 words) - 17:06, 19 January 2024
denotes the image of $ [ 0 , t ] $
that consists of the image of the points $ x _ {t} $
9 KB (1,365 words) - 18:18, 19 January 2021
is the image of the equilibrium situation of some quasi-informational extension $ \wid
4 KB (563 words) - 08:09, 6 June 2020
...ction of the branching point itself is an interior point with a unique pre-image. In a neighbourhood of a branching point $(u=0,v=0)$ the coordinates $(x,y,
3 KB (495 words) - 13:00, 3 October 2014
there exists points not belonging to the image of the disc $ | z | < 1 $
which is the one-to-one image of a subdomain of $ D $.
7 KB (959 words) - 22:14, 5 June 2020
...um under a [[Perfect mapping|perfect mapping]] is a paracompactum, and the image of a paracompactum under a continuous [[Closed mapping|closed mapping]] is
9 KB (1,401 words) - 14:04, 30 July 2014
...)$ splits, giving in particular that each indecomposable $B$-module is the image of an indecomposable $A$-module either by $\text{Hom}_A( T , - )$ or by $\o
3 KB (507 words) - 16:45, 1 July 2020
is the image of a vector bundle $ E $
3 KB (474 words) - 13:07, 24 December 2020
...ch that $n+1$ meet at the vertices (primitive parallelohedra) is an affine image of the partitioning $\{D\}$ for a lattice. Thus he reduced the study of suc
...iling". The Voronoi problem is whether each parallellohedron is the affine image of a Dirichlet–Voronoi region for a lattice. This is true for $n\leq4$, [
8 KB (1,201 words) - 19:28, 2 June 2016
is called the image of the element $ x \in T ^ {s} ( F, A) $
3 KB (536 words) - 09:05, 8 April 2023
...hi : G \rightarrow G_1$ is a $k$-epimorphism of algebraic groups, then the image $\phi(H)$ of any arithmetic group $H \subset G$ is an arithmetic group in $
4 KB (527 words) - 20:14, 14 October 2014
...up|Rank of an algebraic group]]; [[Reductive group|Reductive group]]). The image of a $ k $ -
4 KB (559 words) - 16:39, 17 December 2019
...chain-complete ordered set $P$ the existence of a point comparable to its image is equivalent to the existence of a fixed point [[#References|[a1]]], [[#Re
...P$ is a comparative retraction (i.e., each point $p$ is comparable to its image $r(p)$), then $p$ has the fixed-point property if and only if $r[P]$ has th
9 KB (1,338 words) - 12:00, 9 January 2016
is called logarithmically convex if the image $ \lambda ( D ^ {*} ) $
4 KB (586 words) - 08:10, 6 June 2020
...N.J.A. Sloane, M.D. Trott, "The Nordstrom Robinson code is the binary image of the octacode" R. Calderbank (ed.) G.D. Forney Jr. (ed.) N. Moayeri (e
3 KB (459 words) - 17:32, 17 April 2016
st coordinate (that is, the image with respect to the mapping $ ( a _ {1} \dots a _ {n} , a _ {n+} 1 ) \map
4 KB (529 words) - 22:11, 5 June 2020
is proper if and only if the inverse image of each compact subset of $ Y $
the inverse image of $ Y ^ \prime $.
9 KB (1,267 words) - 08:08, 6 June 2020
A topological image of the closed part of the plane comprised between two non-identical concent
4 KB (606 words) - 08:26, 6 June 2020
...9 note, Listing showed that the figure-eight knot, Fig.a1b, and its mirror image are equivalent [[#References|[a2]]]. Because of this, this knot is often ca
3 KB (496 words) - 07:37, 18 March 2023
then the image of $ D $
4 KB (590 words) - 11:46, 30 December 2020
In other words, the image of the frame at a point $ x _ {t} $
uniquely: The image, under the mapping $ ( P _ {n} ) _ {x _ {t} } \rightarrow ( P _ {n} ) _
10 KB (1,455 words) - 06:59, 6 March 2024
has codimension 1 at each point, the image of $ g $
4 KB (550 words) - 22:13, 5 June 2020
of points in the pre-image $ f ^ { - 1 } y $
3 KB (535 words) - 19:39, 5 June 2020
...of the Cantor set; 2) secondly, every metrizable compactum is a continuous image of the Cantor set (Aleksandrov's theorem). This theorem marks the beginning
4 KB (527 words) - 09:11, 26 March 2023
...alent functions. Koebe's $ 1 / 4 $-theorem holds: The domain that is the image of the disc $ | z | < 1 $
the length of the image of $ A $
11 KB (1,524 words) - 02:42, 14 September 2022
is the image of the variety $ X $(
4 KB (558 words) - 14:54, 7 June 2020
from the image of the circle $ | z- a | = \rho $
4 KB (554 words) - 20:40, 16 January 2024
for the image of $ { \mathop{\rm Tr} } _ {H,K } $.
6 KB (984 words) - 08:44, 26 March 2023
and the image of $ K $
4 KB (549 words) - 08:54, 8 April 2023
...logical space: A set of points of a topological space that is a continuous image of an interval is called a curve in the sense of Jordan.
...t of which has an arbitrary small connected neighbourhood) is a continuous image of an interval (a theorem of Mazurkiewicz). Thus, not only a square, but al
19 KB (2,971 words) - 19:30, 26 March 2023
...ks), the fibre of $A\times_C B$ over an element $c\in C$ (i.e. the inverse image of $c$ under the mapping $\a\phi$) is the Cartesian product of the fibres $
3 KB (575 words) - 10:30, 23 November 2013
right $ f ^ { - 1 } \mathcal D _ {Y} $-bimodule. The inverse image functor $ L f ^ { * } $
The direct image functor $ f _ {+} $
24 KB (3,511 words) - 07:03, 10 May 2022
...reducible representation. The mapping thus obtained is surjective, the pre-image of any point of $ M _ {L} $
is finite and for the points of an open everywhere-dense subset this pre-image consists of one element [[#References|[7]]]. A complete description of all
10 KB (1,344 words) - 08:11, 6 June 2020
and is such that any perfect irreducible inverse image of the space $ X $
is the maximal inverse image of the space $ (X, \delta ) $
10 KB (1,505 words) - 04:04, 9 May 2022
...ed to a circle on the plane, which is also considered as the stereographic image of the point outside the sphere onto the plane. The coordinates of a point
4 KB (675 words) - 14:01, 17 March 2023
be the image of $ 1 \in \widetilde{E} {} ^ {0} ( S ^ {0} ) $
4 KB (602 words) - 10:13, 30 January 2022
The rank of a linear mapping is the dimension of the image under this mapping. In the finite-dimensional case it coincides with the ra
4 KB (631 words) - 10:02, 15 April 2014
...countably separated measurable) space is called ''analytic'' if it is the image of a standard Borel space under a Borel map. (See {{Cite|K|Sect. 14.A}}.)
4 KB (579 words) - 20:31, 18 February 2012
is the image of the element $ x $
is called the pre-image of the element $ y $
34 KB (5,509 words) - 22:06, 28 January 2020
...ny references) about the use of Gabor transforms in such diverse fields as image analysis, object recognition, optics, filter banks, or signal detection can
4 KB (543 words) - 17:00, 1 July 2020
The non-Euclidean length of the image $ f( L) $
4 KB (546 words) - 08:06, 6 June 2020
the image of the rotations diagram is the rotation indicatrix for some infinitesimal
4 KB (541 words) - 15:08, 19 January 2021
...construction. It was shown in [[#References|[a3]]] that they are the Gray image of a $\mathbf{Z}_{4}$-linear code. A direct proof of the minimum distance f
4 KB (592 words) - 16:52, 1 July 2020
Then the complete pre-image in $ L( E, F ) $
5 KB (737 words) - 08:04, 6 June 2020
...., [[#References|[a2]]]) for representing a polynomial curve, that is, the image $\{ p ( t ) : 0 \leq t \leq 1 \}$ of the interval $[0,1]$ under a vector-va
4 KB (598 words) - 16:55, 1 July 2020
A biholomorphic mapping $f$ is proper (i.e. the pre-image of a compact set is compact), since $f^{-1}$ is continuous. Riemann's theor
4 KB (620 words) - 07:43, 23 August 2014
...are defined to be those algebras for which every (non-trivial) homomorphic image has an atom. Because of this duality one may say that the structure of comp
4 KB (548 words) - 08:12, 6 June 2020
...belongs to $\mathfrak{C}$, and the $\mathfrak{C}$-reflection $S(A)$ is the image of the unique morphism $\gamma : A \rightarrow P$ such that $\pi_i \gamma =
4 KB (670 words) - 09:05, 26 November 2023
is the image of $ U $
4 KB (560 words) - 17:46, 4 June 2020
in the inverse image of zero, the concept of the local degree $ \mathop{\rm deg} _ {x} f $
4 KB (562 words) - 17:50, 13 January 2024
...same classes are obtained when the projection is replaced by a continuous image (of a set in the same space $ I ^ {m} $).
...on the topological invariance of projective sets is true: The homeomorphic image of a projective set of a given class situated in the same or in any other c
10 KB (1,492 words) - 08:08, 6 June 2020
...omology spaces are replaced by the sheaves $R^n f_*$ of the derived direct image functor $f_*$; here an important role is played by the behaviour of these s
4 KB (573 words) - 18:20, 17 April 2017
...tions, or inversive rotations, describe crystals in which there are mirror-image particles (though there may also be compatible equal particles). These are
4 KB (659 words) - 16:47, 12 April 2014
zero-dimensional subsets or as the image of a zero-dimensional metric space under a continuous closed $ ( n + 1) $
to the inverse image $ f ^ { - 1 } I ^ {n} $
15 KB (2,096 words) - 22:12, 5 June 2020
of which it is the zero class, and thus determines the image $ Af $
...attice onto a partially ordered set with a zero, then the complete inverse image of the zero is an ideal. It is called the kernel ideal of $ f $.
13 KB (2,163 words) - 22:11, 5 June 2020
...S is an AFL which is not full (in fact, each language in RE is the morphic image of a language in CS). The family of linear languages is a full semi-AFL not
4 KB (661 words) - 09:20, 2 April 2018
...max-norm. Here, the sequence (2) is said to be split if the kernel and the image of the differential $ d $
4 KB (600 words) - 01:23, 19 January 2022
...$C ( S ^ { n - 1 } )$ of continuous real functions on $S ^ { n - 1 }$. The image is precisely the closed convex cone of restrictions of sublinear functions.
4 KB (596 words) - 15:30, 1 July 2020
...$ such that there is a [[Bounded set|bounded set]] $ N \subseteq M $ whose image $ A[N] $ is an unbounded set in $ Y $.
4 KB (675 words) - 04:55, 1 March 2017
normal it is necessary and sufficient that the pre-image of every compact set in $ R ( A) $
5 KB (717 words) - 08:03, 6 June 2020
from its image $ fx $
be the pre-image of the sphere $ S ^ {n - 1 } $
12 KB (1,894 words) - 19:35, 5 June 2020
...is a mapping $f: K_1\to K_2$ such that for every simplex $s$ in $K_1$, its image $f(x)$ is a simplex in $K_2$. Simplicial complexes and their simplicial map
...at all closed cells $|s|$ are (rectilinear) simplices. This means that the image of $|K|$ in $\R^n$ is a [[Simplicial space|simplicial space]] (a polyhedron
11 KB (1,773 words) - 09:56, 13 February 2024
...ping $ f^{-1} $ exists if and only if for each $ y \in f[M] $, the inverse image $ {f^{\leftarrow}}[\{ y \}] $ consists of just a single element $ x \in M $
4 KB (752 words) - 03:29, 9 January 2017
may also be defined as the image of the mapping $ D $,
5 KB (668 words) - 10:06, 11 November 2023
An ellipse is the affine image of a [[Circle|circle]]; an ellipse is a non-degenerate [[Conic|conic]] (i.e
4 KB (640 words) - 21:38, 24 April 2012
Under this imbedding the image is a closed ideal in $ M(G) $.
4 KB (655 words) - 13:07, 7 April 2023
is a monomorphism, its image is a subgroup of index 2 in $ G _ {+} 1 $,
it is a monomorphism with an image of index 2. This means, in particular, that there exists a non-smooth local
11 KB (1,631 words) - 17:45, 4 June 2020
is said to be the module of symbols. The image of a differential operator $ D \in \mathop{\rm Diff} _ {S} ^ {i} ( M ,
5 KB (785 words) - 19:35, 5 June 2020
...(x_1,\ldots,x_n)$ defines a rational mapping $f : P^n \rightarrow X$ whose image is dense in $X$. Varieties for which there is such a mapping of projective
4 KB (634 words) - 17:38, 19 September 2017
or its image is the bicollar itself.
4 KB (661 words) - 16:10, 1 April 2020
be the image of $V ( \mathfrak { g } , \mathfrak { b } )$ under the functor $\mathfrak {
...\operatorname{Hom} _ {\frak a } ( D , N ) , \delta ^ { \prime } )$ is the image of $( D , \delta )$ under the functor $\operatorname { Hom } _ { a }( - , N
12 KB (1,752 words) - 07:39, 10 February 2024
...oints are double and their number is finite; and 2) no double point is the image of a vertex. Every link may be transformed into regular position by an arbi
and cut the image of an underpass at double points (cf. Fig. a).
10 KB (1,621 words) - 18:58, 10 April 2023
...tion being determined by the appropriate variations of the boundary of the image of this domain.
4 KB (650 words) - 06:29, 30 May 2020
...separable metrizable topological space such that every its homeomorphic image in every such space (with the Borel σ-algebra) is a universally measurabl
5 KB (655 words) - 20:33, 18 February 2012
is mapped onto itself, the maximum diameter of the image of the circle $ \Gamma _ {R} = \{ {z } : {| z | = R } \} $
4 KB (623 words) - 19:42, 5 June 2020
there exists a neighbourhood whose inverse image is contained in an element of $ \omega $.
4 KB (654 words) - 08:05, 6 June 2020
be the pre-image of $ S ( G/O _ {p} ( G ) ) $
5 KB (726 words) - 08:01, 6 June 2020
...$) and the class of compact linear operators (i.e. operators such that the image of any bounded set in $X$ is pre-compact in $Y$, cf. [[Compact operator|Com
14 KB (2,265 words) - 17:06, 24 January 2020
The image of the isotropy representation, $ \mathop{\rm Is} _ {x} ( G _ {x} ) $,
5 KB (769 words) - 02:24, 16 June 2022
is identified with its image under an isomorphic imbedding in a group $ \mathop{\rm GL}\nolimits (V)
5 KB (758 words) - 16:51, 17 December 2019
which have a non-empty intersection with the pre-image $ p ^ {-} 1 ( \omega ) $.
for which the image $ p( \Omega ) \subset \mathfrak h ^ \star $
12 KB (1,682 words) - 08:04, 6 June 2020
...rface)]]) of $G ( x )$ onto an open neighbourhood of $G ( x )$ in $X$. The image under $\varphi$ of the fibre of this bundle over $x$ is a slice at $x$ whic
...bit intersects $U$ implies that this orbit lies in $U$). In this case, the image under $\varphi$ of the fibre of the natural projection $\tilde { U } \right
11 KB (1,819 words) - 15:30, 1 July 2020
...ro and let $R$ be a finitely-generated $k$-algebra, that is, a homomorphic image of a ring of polynomials $R = k [ x _ { 1 } , \dots , x _ { n } ] / I$.
5 KB (705 words) - 16:52, 1 July 2020
the image of the circle $ | z | = r < 1 $)
6 KB (963 words) - 14:03, 18 May 2023
as a "lens" , i.e. the union of a spherical segment and its mirror image; this is how the name lens surface arose.
4 KB (668 words) - 18:39, 13 January 2024
...icular, every property which is preserved under transition to a continuous image is, like any property of Hausdorff spaces inherited by closed subspaces, st
5 KB (871 words) - 19:55, 3 February 2021
is said to be an isogeny if its image in the quotient category $ \phi ( k) $
5 KB (774 words) - 09:04, 8 April 2023
...the relevant sides (or their continuations) at a finite point. If the pre-image $ a _ {i} $
5 KB (715 words) - 16:44, 4 June 2020
as the relative trace mapping and to denote the image of $ { \mathop{\rm Tr} } _ {H} ^ {K} $
6 KB (919 words) - 17:32, 5 June 2020
...his implies that the ordinal space $W(\mathfrak{c}+1)$ is not a continuous image of $\omega^*$. In 1978, E.K. van Douwen and T.C. Przymusiński [[#Reference
11 KB (1,671 words) - 21:29, 19 November 2017
be the image of a homeomorphic mapping $ h : B ^ {k} \times B ^ {n-} k \rightarrow
the inverse image of the interval $ [ f ( x _ {0} ) - \epsilon , f ( x _ {0} ) + \epsilon ]
15 KB (2,248 words) - 19:53, 5 November 2023
The image of the ring $ H ^ {**} ( \mathop{\rm BU} _ {n} ) $
theory. The image of the class $ S _ \omega ( \sigma _ {1} \dots \sigma _ {n} ) $
13 KB (1,910 words) - 19:40, 7 January 2024
the image of the frame at $ x _ {t} $
and the image of the frame at point $ x _ {t} $
15 KB (2,221 words) - 10:58, 17 March 2023
...a shift, become (under certain conditions) multiplication operators in the image space. In particular, the convolution of two functions $ f $
the image of $ L _{p} $
6 KB (971 words) - 12:28, 1 February 2020
on the terrestrial ellipsoid by its image $ d \sigma $
...line, and the remaining meridians by curves symmetric with respect to the image of the central meridian (see, for example, Fig. f).
12 KB (1,890 words) - 09:14, 26 March 2023
this point being the image of $ P $.
5 KB (847 words) - 22:16, 5 June 2020
cf. [[Transversal mapping|Transversal mapping]]) if the image of $ T _ {x} L $
5 KB (780 words) - 08:26, 6 June 2020
the image $ I _{*} $
must be contained in the pre-image of $ K _{0} ( B ) ^{+} $.
12 KB (1,766 words) - 06:39, 26 March 2023
whose image is equal to the unit element in $ X $.
6 KB (864 words) - 19:42, 5 June 2020
\textrm{ image } \textrm{ of } \
...ory of the Gauss–Manin connection is expressed as a property of the direct image functor for a proper morphism. Combined with the formalism of [[Vanishing c
11 KB (1,657 words) - 11:55, 12 January 2021
is a homomorphic image of it. A $ \mathfrak K $-
9 KB (1,325 words) - 15:29, 17 March 2023
is exact, that is, the image of each incoming homomorphism equals the kernel of the outgoing one.
...weaker requirement: The sequence should only be partially exact, i.e. the image should be included in the kernel (cf. [[Exact sequence|Exact sequence]]); a
23 KB (3,393 words) - 08:51, 25 April 2022
i.e. an immersion or imbedding such that the pre-image of each compact set is compact). If a [[Riemannian metric|Riemannian metric
6 KB (923 words) - 22:11, 5 June 2020
it is the first fundamental form of the spherical image of the surface (cf. [[Spherical map|Spherical map]]).
6 KB (990 words) - 19:40, 5 June 2020
...equence of functions into a strongly-converging sequence of operators. The image of this homomorphism (that is, the set of all functions of the operator $
5 KB (793 words) - 08:22, 6 June 2020
of the canonical class gives a birational mapping of the surface onto its image in projective space. They are called surfaces of general type; the main res
5 KB (747 words) - 06:29, 30 May 2020
...usions, is exact, i.e. the kernel of every homomorphism coincides with the image of the previous one;
5 KB (779 words) - 19:51, 16 January 2024
...} ( \partial ( \Gamma \backslash X ) , \widetilde { M } )$ and what is the image of the "global" cohomology $H ^ { \bullet } ( \Gamma \backslash X , \tild
...in degree one and zero in degree zero if $n > 0$. If $n = 0$, then the image of $r$ in degree one has codimension $1$ and dimension $1$ in degree zero.
12 KB (1,817 words) - 15:30, 1 July 2020
is the image of $ D $
5 KB (790 words) - 19:40, 5 June 2020
...\mathop{\rm GL}\nolimits ( n ,\ \mathbf R ) $ as the normalizer of the image of $ G $ (see [[#References|[1]]]).
5 KB (803 words) - 18:12, 12 December 2019
In this case the image $ \Xi (X) $
is the bijective inverse image of the set of functions $ \{ \xi _ {t} (s) \} $
28 KB (4,564 words) - 07:37, 26 March 2023
This representation is faithful and its image is the [[Weyl group|Weyl group]] of the root system $ \Phi _{k} (S,\ G)
6 KB (934 words) - 16:30, 17 December 2019
...iable set is purely unrectifiable if and only if its intersection with the image of an arbitrary Lipschitz map $f:\mathbb R^k\to \mathbb R^n$ (resp. with an
...and [[Arcwise connected space|arcwise connected]]. Indeed it is always the image of a [[rectifiable curve]].
12 KB (1,962 words) - 17:00, 13 June 2020
...s, Banach spaces which contain, as a dense subspace, the continuous linear image of an Asplund space.
6 KB (893 words) - 16:59, 1 July 2020
Equation (*) need not define a real geometric image, and in such cases one says that (*) defines an imaginary second-order surf
19 KB (2,446 words) - 17:35, 31 March 2012
In this context, the image of the Lie bracket $ [ X, Y] $
6 KB (837 words) - 08:24, 6 June 2020
Its image $ p _ {2} ( \Gamma ) \subset ( \widetilde{P} {} ^ {n} ) ^ {r+} 1 $
5 KB (782 words) - 16:44, 4 June 2020
of all $ r $-dimensional cycles, contains the image under the homomorphism $ \partial _ {r+ 1} $,
6 KB (897 words) - 08:54, 25 April 2022
...g}) $ associated to this filtration is commutative and is generated by the image under the natural homomorphism $ \mathfrak{g} \to \operatorname{gr} U(\math
6 KB (970 words) - 18:59, 5 April 2023
is a random element if and only if the complete pre-image of all sets in $ {\mathcal L} $
5 KB (804 words) - 08:09, 6 June 2020
denotes the (image of) the orthogonal projection of $ K $
...nces|[a2]]] it is shown how the Blaschke–Santaló inequality, the curvature image inequality, Petty's geo-minimal surface area inequality, and the affine iso
6 KB (922 words) - 08:24, 26 March 2023
...rak g $ are the same and are equal to the rank of $ \mathfrak g $ . The image of a Cartan subalgebra under a surjective homomorphism of Lie algebras is a
7 KB (925 words) - 17:15, 17 January 2020
and zone coercive if the image of $ C ^ {o} $
8 KB (1,158 words) - 06:29, 30 May 2020
...fied morphism $f : M \rightarrow N$, the restriction of $f$ to the inverse image $f ^ { - 1 } ( S )$ of a stratum $S$ is a [[Fibration|fibration]].
5 KB (830 words) - 17:44, 1 July 2020
However, the image of this set in the Whitehead group $ \mathop{\rm Wh} ( \Pi ) $
6 KB (926 words) - 19:41, 16 January 2024
'''THEOREM:''' Every G-image of D (as at right, below) has some ordinary or color-interchange symmetry.
5 KB (802 words) - 02:45, 19 April 2023
...ra-morphism $m\colon T(\Sigma) \longrightarrow A$. Thus, $A$ contains the image of $T(\Sigma)$ under $m$ as $\Sigma$-subalgebra. This subalgebra is called
6 KB (940 words) - 19:31, 20 February 2013
...0</TD></TR><TR><TD valign="top">[a21]</TD> <TD valign="top"> H. Stark, "Image recovery: theory and application" , Acad. Press (1987)</TD></TR></table>
16 KB (2,342 words) - 17:25, 13 June 2020
can be regarded as the image of a functor $ F : C \rightarrow \mathfrak K $
7 KB (1,089 words) - 22:12, 5 June 2020
where $\omega = r e^{i\phi}$. The four points missing in the image of the Gauss map corresponds then to the four poles $\{\pm 1, \pm i\}$ of $
5 KB (658 words) - 11:12, 5 July 2014
image on $ S ^ \prime $:
6 KB (936 words) - 19:36, 5 June 2020
A concept in the theory of functions which is a concrete image of some involutory operator for the corresponding class of functions.
6 KB (904 words) - 01:52, 21 April 2022
...rigorous description of the process. The main problem is to determine the image of the mapping Red, i.e. to find the points $ x \in X _ {0} (k) $
5 KB (793 words) - 16:10, 1 April 2020
...$X$ is related by a specific rule to a coordinate system, then its mirror image should be related by the same rule to a coordinate system with the opposite
...zero. It is dual to a cycle whose support is the manifold which is the pre-image of $\R P^{n-1}$ under the mapping $k$, taken in
18 KB (2,980 words) - 17:05, 13 June 2020
....encyclopediaofmath.org/legacyimages/l/l059/l059340/l05934048.png" />, its
image is the subspace <img align="absmiddle" border="0" src="https://www.encyclop
.../legacyimages/l/l059/l059340/l05934090.png" />. Besides the kernel and the
image of a linear operator, examples are the one-dimensional subspaces containing
67 KB (9,247 words) - 17:12, 29 October 2017
the image $ \widetilde \pi ( L _ {1} ( G)) $
...Nilpotent Lie groups and linear semi-simple Lie groups are CCR-groups. The image of the representation $ ( \pi \otimes \sigma ) \widehat{ {}} $
24 KB (3,516 words) - 08:27, 6 June 2020
field $K$ (or over the field $K=\R$ or $\C$) is the image of the class of
...d_\nu = (-1)^{s_\nu}$ for every real valuation $\nu$ (here $d_\nu$ is the image of $d$
8 KB (1,182 words) - 22:00, 5 March 2012
where $\tr$ denotes the trace of a linear operator, and $\ad x$ is the image of $x$ under the adjoint representation of $\f G$ (cf. also
5 KB (819 words) - 19:17, 16 November 2017
and the image $ \Omega _ {t} $
6 KB (913 words) - 08:58, 13 January 2024
is equal to the oriented area of the spherical image of this triangle [[#References|[1]]].
6 KB (891 words) - 19:41, 5 June 2020
...{ H } ^ { * } ( X , G )$, where $G$ is an $\mathbf{R}$-module. If the pre-image $f ^ { - 1 } ( y )$, for any $y \in Y$, is $q$-acyclic for all $q < n$ (for
$F$-acyclic if it is $1$-acyclic; this is equivalent to acyclicity of every image $F ( x )$. A mapping $F : X \rightarrow K ( Y )$ is called generally $n$-ac
16 KB (2,462 words) - 06:56, 15 February 2024
...ransformation|measure preserving]]'' if for every $A_2\in\A_2$ the inverse image $A_1=f^{-1}(A_2)$ satisfies $A_1\in\A_1$, $\mu_1(A_1)=\mu_2(A_2)$. Such $f$
...able (or equivalently, for every $\A$-measurable) function $f:X\to\R$ the image $f(X)$ contains a Borel (or equivalently, σ-compact) subset $B$ whose pre
15 KB (2,431 words) - 07:07, 23 September 2012
...es in space; time series of periodic, stochastic, and explosive phenomena; image processing of both grey-scale and Poissonian images; data mining of terabyt
...istics (Babu & Feigelson (1996), galaxy clustering (Martinez & Saar 2001), image processing (Starck & Murtagh 2006), Bayesian analysis (Gregory 2005), and B
14 KB (1,878 words) - 07:23, 13 March 2016
is the image or interpretation grammar. The grammar family and the grammatical (language
6 KB (867 words) - 14:14, 31 December 2020
plane with at least three boundary points is defined as the pre-image of the hyperbolic metric in $ E $
7 KB (952 words) - 12:50, 13 January 2024
...arable, the ring $A[[T_1,\ldots,T_N]]$ is complete relative to it, and the image of $A[T_1,\ldots,T_N]$ under the imbedding $i$ is everywhere dense in $A[[T
6 KB (1,093 words) - 08:26, 16 March 2023
...following theorem asserts the existence of a rational curve, a birational image of the projective line $\mathbf{P}^{1}$, and provides a more geometric pict
6 KB (873 words) - 09:30, 3 February 2024
ii) $K \geq $ mirror image of the $6_2$-knot ($\sigma _ { 1 } ^ { 3 } \sigma _ { 2 } ^ { - 1 } \sigma
6 KB (918 words) - 16:58, 1 July 2020
the image of a ball
6 KB (945 words) - 02:01, 21 January 2022
...defined in the standard way. For any sheaf homomorphism $f:\cF'\to\cF$ the image $f(\cF')$ is an open subset of $\cF$, closed with respect to the stalk-wise
...e it is possible to interpret such ordinary terms as homomorphism, kernel, image, subsheaf, quotient sheaf, etc. for sheaves over $X$ in such a way that the
26 KB (4,342 words) - 15:06, 15 July 2014
...model was initially advocated for large-scale artificial intelligence and image processing problems, which exhibit a very high degree of data parallelism a
6 KB (940 words) - 23:19, 25 November 2018
The image $ \phi _ {L} ( X) $
6 KB (855 words) - 22:17, 5 June 2020
...73</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> J. Serra, "Image analysis and mathematical morphology" , Acad. Press (1982)</TD></TR><TR><T
7 KB (1,025 words) - 12:40, 17 January 2021
The latter is equivalent to saying that the image of the homomorphism $ \phi $,
as a homomorphic image of an algebra of polynomials (in a sufficient number of variables) over $
21 KB (3,225 words) - 09:25, 13 July 2022
...disc in $\mathbf{C}$ and let $T$ be its boundary. An analytic disc is (the
image of) a holomorphic mapping $f : \Delta \rightarrow {\bf C} ^ { n }$ such tha
...re exists a non-constant analytic disc $f$ such that $f ( 0 ) = p$ and the
image of $f$ is contained in <img align="absmiddle" border="0" src="https://www.e
20 KB (3,071 words) - 17:45, 1 July 2020
...here $\SL'(nR,q) = \GL'(n,R,q)\cap \SL(n,R)$, and $\GL'(n,R,q)$ is the pre-image of the centre of $\GL(n,R/q)$ in $\GL(n,R)$. For certain special rings defi
6 KB (988 words) - 22:16, 10 January 2015
...bility of the image by a "true" metric. A topological space which is the image of a metric space under a continuous open and closed mapping is itself home
33 KB (5,289 words) - 19:37, 25 March 2023
the image of the field is contained in the field of real numbers, this isomorphism is
7 KB (1,065 words) - 14:05, 17 March 2020
The image under $ \alpha $
6 KB (953 words) - 12:29, 29 December 2021
is the closure of the inverse image $ \pi ^ {-1 } ( Y \setminus \{ 0 \} ) $
7 KB (941 words) - 10:59, 29 May 2020
...bibliography. The momentum mapping has a strong tendency to have a convex image, and is important for representation theory, see [[#References|[a2]]] and [
6 KB (935 words) - 10:58, 2 July 2020
...arch space $\Xi\subseteq A^l$ to reflect the fact that some strings in the image $A^l$ under $c$ may represent invalid solutions to the problem. The string
6 KB (958 words) - 06:10, 19 April 2013
is the image of the homomorphism $ \Omega _ {U} \rightarrow \Omega _ {O} $.
...he relations among the Stiefel numbers follow from the following fact: The image of the "forgetful" homomorphism $ \Omega _ {SO} \rightarrow \Omega _ {O}
42 KB (6,290 words) - 19:33, 17 January 2024
is a Blumberg space. It follows from the above theorem that the image of a Blumberg space under an open and continuous function need not be Blumb
8 KB (1,178 words) - 08:25, 26 March 2023
...$. Also valid is the analogue of Grauert's theorem on the coherence of the image of a [[Coherent sheaf|coherent sheaf]] under a proper mapping (however, the
6 KB (892 words) - 20:07, 22 December 2018
...L$-isomorphism, let $\def\s{\sigma}\s\in\G_{L/k}$ and let $\phi^\s$ be the image of $\phi$ under the action of $\s$. Then the mapping $\G_{L/k}\to\Aut_L G$,
6 KB (941 words) - 22:11, 26 December 2017
...and 2) a non-trivial simple closed curve $ l \subset \partial N $ (the image under $ h $
7 KB (1,038 words) - 11:33, 26 March 2023
in Banach spaces (i.e. representations having bounded image). The formula
...btained analogues of the Paley–Wiener theorem, giving a description of the image of the group algebra of infinitely-differentiable (respectively, locally fi
20 KB (2,775 words) - 16:40, 31 March 2020
...undary of the state space of a [[Markov process|Markov process]] or of its image in some compact space, constructed by a scheme similar to the Martin scheme
9 KB (1,313 words) - 07:59, 6 June 2020
is perfect. The image of a perfect measure $ \mu $
8 KB (1,244 words) - 08:05, 6 June 2020
its image under $ T $
6 KB (957 words) - 17:46, 4 June 2020
be the first direct image of the constant sheaf $ \mathbf Z / n \mathbf Z $
is the inverse image of an $ n $ -
16 KB (2,402 words) - 11:49, 16 December 2019
with its canonical image in $ { \mathop{\rm BT} } ( G,K ) $.
7 KB (1,021 words) - 06:29, 30 May 2020
* Every [[perfect group]] is the homomorphic image of an acyclic group {{Cite|He}}.
6 KB (873 words) - 08:18, 18 February 2022
The image of the diagonal imbedding of $G_k$ in $G_A$ is a discrete
6 KB (1,071 words) - 06:53, 28 December 2021
...ntinuities at boundary points of its spectrum, the combined spectra of the image of many-valued mappings, images of approximate, point or deficiency spectra
image into a compact set), which implies that the essential spectra of the self-a
16 KB (2,424 words) - 08:22, 6 June 2020
...are studied which are preserved when the coordinates in the image and pre-image of the mapping are changed (or when changes are made which preserve certain
...ular point; in a neighbourhood of this point and in a neighbourhood of its image, there exist coordinates in which the mapping is linear.
30 KB (4,632 words) - 08:14, 6 June 2020
with image $ {\widehat{A} } $,
of the image of the embedding $ \varphi _ {L} : A \hookrightarrow \mathbf P ^ {7} $
18 KB (2,511 words) - 06:25, 26 March 2023
...te" in the sense that there exists a monomorphism $A \rightarrow A$ whose image is disjoint from some well-supported subobject of $A$. From the first of Fr
8 KB (1,233 words) - 17:43, 1 July 2020
is the image of $ U $
7 KB (1,091 words) - 19:19, 20 January 2022
...en studied in [[#References|[a2]]]: these structures are determined by the image of their contact moment mapping.
7 KB (1,081 words) - 16:58, 1 July 2020
...equivalence classes, form in their totality the [[Analytic image|analytic image]] $ A _ {f} $
that form the analytic image one can distinguish regular ones, when $ n= 1 $,
34 KB (4,972 words) - 13:13, 6 January 2022
...oint (the connected digon $F$). Every compact metric space is a continuous image of a Cantor perfect set, i.e. of a space homeomorphic to the product of a c
7 KB (1,136 words) - 10:22, 18 December 2016
...ion may be not unique, to the problem of prime factorization in $D_0$. The image $\phi(a)\in D_0$ of an element $a\in A^*$ is denoted by $(a)$ and is called
...odimension 1. Then, for any Cartier or Weil divisor $D$ on $X$ the inverse image $f^*(D)$ is defined; also, $\cyc(f^*(D)) = f^*(\cyc(D))$. The mapping $D\to
16 KB (2,805 words) - 02:18, 6 January 2022
of the direct image $ v _ {*} ( {\mathcal O} _ {\widetilde{X} } ) $
8 KB (1,143 words) - 16:48, 19 February 2022
elaborate a unified image of Switzerland as a national entity. Such a task
image of Switzerland as a
13 KB (1,961 words) - 19:27, 4 March 2024
under which it becomes a normed space. The norm of the image of an element $x$ under the [[quotient mapping]] $X\rightarrow X/Y$ is call
8 KB (1,284 words) - 21:49, 6 June 2016
be its canonical image in $ K $;
10 KB (1,488 words) - 19:39, 5 June 2020
are not distinguished in symbols from their image $ df( X) $.
If the image of $ H _ {p} ( X, Y) $
25 KB (3,789 words) - 19:41, 5 June 2020
is the pre-image under $ X _ {t} $
15 KB (2,228 words) - 22:12, 5 June 2020
...of each point it is possible to find a smaller neighbourhood for which the image under the imbedding homomorphism of the singular homology group in the homo
9 KB (1,350 words) - 11:39, 25 October 2014
(the image of $ z / N $).
8 KB (1,144 words) - 05:57, 13 February 2024
...containing the topological image of a circle, which is disconnected by any image of a circle and is not disconnected by any pair of points. In general, two-
20 KB (3,075 words) - 08:26, 6 June 2020
is determined by the inverse image $ p ^ {- 1} ( u) $,
lies in the image of the cohomology suspension and is a group homomorphism. If $ f $
29 KB (4,197 words) - 09:49, 26 March 2023
of the plane, called the image of $ P $;
to be the image of this direction, one has
28 KB (4,001 words) - 11:10, 4 June 2020
containing a homeomorphic image of every normal space $ X $
...um is zero-dimensional and, at the same time, that the Hilbert cube is the image of a one-dimensional compactum, even if the corresponding mapping $ f $
38 KB (5,928 words) - 19:35, 5 June 2020
...cts of [[colon]]s. Any [[completely-regular space]] can be obtained as the image of a zero-dimensional space under a well-behaved mapping, for example, unde
8 KB (1,230 words) - 13:00, 3 January 2016
...osable group of finite rank. Equivalently, a Butler group is an epimorphic image of a completely decomposable group of finite rank [[#References|[a5]]].
9 KB (1,361 words) - 16:10, 13 January 2021
image of the subset $ A $
8 KB (1,220 words) - 19:12, 11 December 2020
are called closed, the forms in the image of $ d $
14 KB (2,065 words) - 08:06, 6 June 2020
is the image of $ M $
8 KB (1,261 words) - 22:13, 5 June 2020
...f linear transforms" A.G. Ramm (ed.) , ''Inverse Problems, Tomography and Image Processing'' , Plenum (1998) pp. 125–128</td></tr>
11 KB (1,680 words) - 17:31, 4 February 2024
Any compact Lie group has a faithful linear representation; the image of such a representation is a real algebraic group. Any compact Lie group
9 KB (1,377 words) - 04:00, 9 May 2022
and the volumes of the lattices generated by the image of the $ K $-
8 KB (1,120 words) - 20:06, 31 October 2023
is the image of the Lebesgue measure on the unit tangent sphere at the point $ o $
8 KB (1,145 words) - 22:11, 5 June 2020
...ee module of rank at most $k + n$. Since $\Gamma ( \xi )$ is a homomorphic image of this free module, $k + n$ elements must be sufficient to generate it.
8 KB (1,239 words) - 17:01, 1 July 2020
be the image of $ \Gamma $
10 KB (1,541 words) - 19:38, 5 June 2020
is often identified with the image of this representation, being regarded as the corresponding linear group in
9 KB (1,394 words) - 16:55, 17 December 2019
...<math>f_t</math> to that of <math>B_t</math> so that a set and its inverse image evolve in the same way ( <math>\phi^{-1}(B_t(E))=f_t(\phi^{-1} E)</math>; t
8 KB (1,391 words) - 13:02, 12 December 2013
...\to \sum_v \Br(k_v)$ is induced by the natural embeddings $k \to k_v$. The image of an element from $\Br(k)$ in $\Br(k_v)$ is called a local [[Hasse invaria
7 KB (1,232 words) - 12:12, 30 December 2015
...ntinuous one-to-one (and even a countably-to-multiple [[#References|[4]]]) image of a $ B $-
set is the union of an at most countable set and a one-to-one continuous image of $ \mathbf I $[[#References|[3]]]. Finally, Luzin found yet another imp
44 KB (6,667 words) - 11:40, 26 March 2023
...ooth attenuation II" A.G. Ramm (ed.) , ''Inverse Problems, Tomography, and Image Processing'' , Plenum (1998) pp. 73–86 {{MR|1625256}} {{ZBL|0981.44002}}
8 KB (1,283 words) - 20:10, 10 January 2021
...of $\Delta ^ { n - 1 }$, the faces such that their intersections with the image of $V$ are non-empty [[#References|[a11]]].
9 KB (1,319 words) - 17:02, 1 July 2020
is equal to the image of the section $ u $
equal to the image of $ f ^ { m } e $,
25 KB (3,768 words) - 09:07, 14 June 2022
A homomorphic image of a regular semi-group is regular. Every [[Normal complex|normal complex]]
10 KB (1,515 words) - 08:10, 6 June 2020
having more than one chain in its image can be obtained in this manner (see [[#References|[a2]]] for a more general
9 KB (1,440 words) - 16:43, 4 June 2020
...y $ , of genus 1; the surface $ F $ is sometimes said to be an elliptic image. The above integral of the first kind is single-valued on the principal cov
11 KB (1,535 words) - 13:55, 18 May 2023
modulo homological equivalence, i.e., the image of the morphism $ { \mathop{\rm CH} } ^ {m} ( X ) \rightarrow H _ {\text
has dense image.
25 KB (3,559 words) - 19:33, 7 February 2024
be the image of an element $ e \in E $
10 KB (1,477 words) - 11:05, 26 March 2023
...of locally compact spaces with admissible mappings (that is, when the pre-image of each compact set is compact) [[#References|[6]]] and in addition the two
10 KB (1,511 words) - 16:36, 13 January 2024
is a simple parametric arc (the homeomorphic image of a closed interval); 3) $ \overline{S}\; \setminus \{ 0 \} $
11 KB (1,688 words) - 08:12, 6 June 2020
is the image of the function $ {z ^ {n} } /n! $
11 KB (1,595 words) - 17:13, 2 January 2021
...$, $gm = \overline g m \overline g\inv$, where $\overline g$ is an inverse image of $g$ in $F$.
...$f : M \to N$ the submodules $\Ker f$ (the kernel of $f$) and $\Im f$ (the image of $f$), and also the quotient modules $\Coker f = N / \Im f$ (the cokernel
23 KB (3,918 words) - 04:31, 23 July 2018
...ry function $f : A \rightarrow B$ between sets can be factored through its image (i.e., written as a composite
11 KB (1,634 words) - 01:54, 13 February 2024
...mappings $f:Q\to Q$ that are arbitrarily close to the identity while their image $f(Q)$ misses $X$. Chapman's complement theorem asserts that two compacta $
9 KB (1,368 words) - 18:46, 16 March 2024
...duces an embedding $\iota : M \rightarrow C_{*} ( M )$. The closure of the image $\iota ( M )$ is a compactification of $M$ (cf. also [[Compactification|Com
9 KB (1,321 words) - 17:02, 1 July 2020
...theorem, which computes the behaviour of the Chern character under direct image [[#References|[a8]]], [[#References|[a6]]]. Its strongest version involves
8 KB (1,219 words) - 21:00, 13 July 2020
the image $ f (x) $
such that the image of the intersection $ E \cap U $
32 KB (5,224 words) - 19:36, 25 March 2023
The image $ A = \phi ( \mathop{\rm Def}\nolimits \ Y ) $
12 KB (1,628 words) - 11:17, 20 December 2019
where the bar denotes that the image is taken under the automorphism generated by replacing all $ t _ {i} $
12 KB (1,694 words) - 06:42, 26 March 2023
it is the image of $ C $
that is the image of $ p \sqrt {d _ {C} } $
24 KB (3,360 words) - 19:39, 5 June 2020
and the nefvalue morphism has a lower-dimensional image.
9 KB (1,417 words) - 16:09, 1 April 2020
...f linear transforms" A.G. Ramm (ed.) , ''Inverse Problems, Tomography and Image Processing'' , Plenum (1998) pp. 125–128</td></tr><tr><td valign="top">
14 KB (2,151 words) - 16:39, 2 February 2024
...rum. (The essential spectrum is the spectrum $\sigma ( \pi ( T ) )$ of the image $\pi ( T )$ of $T$ in the Calkin algebra $\cal Q ( H ) = B ( H ) / K ( H )$
10 KB (1,450 words) - 17:44, 1 July 2020
The analogy breaks down for maps that are not one-to-one. A continuous image of a compact topological space is always a compact set, in contrast to the
11 KB (1,769 words) - 05:54, 7 April 2018
...[[Gel'fand representation|Gel'fand representation]]) whose isomorphic pre-image gives the triple $( L ^ { 2 } ) ^ { - } \supset ( L ^ { 2 } ) \supset ( L ^
10 KB (1,460 words) - 16:45, 1 July 2020
...are considered under various conditions on the manifold and its isometric image — smoothness, regularity, analyticity, convexity, etc. Under each of thes
the image of which in $ E ^ {n} $
30 KB (4,332 words) - 22:13, 5 June 2020
appears, and Abelian theorems derive properties of the image (under the transform) from properties of the original and Tauberian theorem
11 KB (1,603 words) - 10:19, 7 May 2021
which is symmetric with respect to the image of this circle. The cross ratio between four points in $ \overline{\mathb
13 KB (1,875 words) - 13:58, 17 March 2023
This case of the Pompeiu problem has many applications in image and signal processing and leads to the problem of deconvolution, that is, g
9 KB (1,368 words) - 20:29, 10 January 2021
...in signal analysis and its role in mathematics" J.M. Blackedge (ed.) , ''Image Processing: Math. Methods and Appl.'' , ''Inst. Math. Appl. New Ser.'' , ''
9 KB (1,428 words) - 07:01, 19 March 2024
...ajectory and its limit ''secant'', no conditions on the analyticity of the image of $\gamma$ is required.
8 KB (1,340 words) - 09:03, 12 December 2013
...eometrical problems and which was based on the observation that the direct image of $ {\mathcal L} _ {( p ^ \nu - 1 ) \rho} $
10 KB (1,486 words) - 08:19, 4 March 2022
and the image of the element $ [ f] $
12 KB (1,812 words) - 22:11, 5 June 2020
...n action of the symmetric group $\mathfrak{S}_r$ on $E ^{ \otimes r}$. The image of $K G$ in $\operatorname{End}_{K}( E ^ { \otimes r } )$ is the Schur alge
...occurring weight coming later in the lexicographic order is an epimorphic image of $\Delta ( \lambda )$.
33 KB (5,081 words) - 10:26, 11 November 2023
...s: $\Phi(B_2)$ (for $B_2\in\B_2$) is the equivalence class of the inverse image $\phi^{-1}(A_2)$ of some (therefore every) set $A_2\in\A_2$ belonging to t
9 KB (1,257 words) - 05:15, 4 September 2013
...ourier transform|Fourier transform]] on $L _ { 1 } ( \hat { G } )$ and its image is, by definition, the Fourier algebra $A ( G )$. The generalized Bochner t
14 KB (2,163 words) - 19:56, 8 February 2024
...w-field $k$ is considered as a semi-group, and its commutative homomorphic image $\bar k$ is formed. $k$ consists of a group, $k^*$, with added zero 0, whil
11 KB (1,876 words) - 20:27, 30 November 2016
...+1}(X_{n-1}; \{\pi_n\})$ of the fibration $p_n: X_n \to X_{n-1}$, i.e. the image under the
11 KB (1,963 words) - 07:35, 8 August 2018
The image of $ K ^ {*} = K \setminus \{ 0 \} $
14 KB (2,135 words) - 08:27, 6 June 2020
with discrete image.
10 KB (1,605 words) - 16:57, 13 January 2024
...v" . In short, for any definable function correspondence and any set, the image of that set under the correspondence is also a set.
22 KB (3,495 words) - 17:46, 1 July 2020
coincides with the image under $ f ^ {*} : H ^ {*} ( B) \rightarrow H ^ {*} ( B ^ { \prime } )
is a monomorphism, and the image of $ f ^ {*} $
35 KB (5,194 words) - 09:33, 26 March 2023
...[[#References|[a7]]], quadratic assignment problems [[#References|[a2]]], image processing [[#References|[a5]]] and many others. In addition, implementatio
10 KB (1,422 words) - 08:14, 6 June 2020
is the image of $ d ^ {r} $.
14 KB (2,075 words) - 09:23, 18 February 2022
is injective. Denote by $M _ { \mu } \subset E$ its image, and by $\psi _ { \mu }$ the inverse mapping of $k ^ { \prime \mu}$ from $
10 KB (1,596 words) - 15:30, 1 July 2020
...l linear space $E$. This mapping $t$ must have the following property: the image $\mu$ of $\nu$ by $t$ must be such that $\mu$ is not concentrated on an aff
12 KB (1,855 words) - 17:45, 1 July 2020
...sm class to the signature of a representative knot is a homomorphism whose image is the subgroup of even integers. The number of knottings of a knot is not
11 KB (1,680 words) - 10:46, 20 January 2024
belongs to the image of the mapping $ \phi $.
16 KB (2,209 words) - 11:03, 26 March 2023
a) a homomorphic image of an $ r $-
16 KB (2,540 words) - 08:09, 6 June 2020
...ith support in an acute cone $\Gamma \subset {\bf R} ^ { n }$. The inverse image of $\mathcal{S} _ { \Gamma } ^ { \prime } ( \mathbf{R} ^ { n } )$ under the
12 KB (1,702 words) - 17:45, 1 July 2020
so that its image is the intersection (generally incomplete) of the quadrics containing it [[
11 KB (1,607 words) - 08:08, 6 June 2020
...<TD valign="top"> K. Culik II, J. Kari, "On the power of L-systems in image generation" G. Rozenberg (ed.) A. Salomaa (ed.) , ''Developments in Langu
10 KB (1,542 words) - 11:21, 26 March 2023
...ension $1$, in the sense that any prime divisor on $X ^ { \prime }$ is the image of a prime divisor on $X$, and such that $B ^ { \prime } = \alpha_{*} B$ an
11 KB (1,780 words) - 14:48, 3 February 2024
...$-algebra-morphism. For a $\Sigma$-subalgebra $A'\subseteq A$ of $A$, its image $m(A')\subseteq B$ is a $\Sigma$-subalgebra of $B$. The expression $B':=m
13 KB (2,332 words) - 14:56, 21 April 2013
....org/legacyimages/s/s130/s130310/s13031044.png" /> contains a homeomorphic
image of the Sierpiński gasket <img align="absmiddle" border="0" src="https://ww
...lign="top"> W. Sierpiński, "Sur une courbe cantorienne qui contient une
image biunivoque et continue de toute courbe donnée" ''C.R. Acad. Sci. Paris''
26 KB (3,837 words) - 19:21, 17 March 2024
is the image of a cycle $ \delta \in H _ {c} ^ {n} ( V _ {t} ^ {0} ) $
14 KB (1,947 words) - 08:01, 6 June 2020
the image of which is a lattice of maximal rank (here
10 KB (1,582 words) - 22:02, 5 March 2012
it is the image under the imbedding homomorphism of the fundamental group $ \pi _ {1} ( \
12 KB (1,807 words) - 18:41, 13 January 2024
the image $ i ( a ) $
12 KB (1,775 words) - 11:58, 4 April 2020
...gebraic group $G$ with respect to $S$, which consists of the fact that the image of $G_k$ under the canonical projection $G_k \to G_S$ is dense in $G_S$. Al
11 KB (1,671 words) - 18:19, 24 May 2019
be the functor direct image with proper support. This is an additive left exact functor.
16 KB (2,338 words) - 06:56, 10 May 2022
...the Hilbert class field) is a field whose norm subgroup coincides with the image under the projection $ I _ {K} \rightarrow C _ {K} $
17 KB (2,620 words) - 07:48, 13 February 2024
...S$ is a [[Group|group]], $G$, with respect to the composition product. The image of $S ( m , \rho )$ (respectively, of $g ( a , b )$ and $[ a , b ]$) is $S
12 KB (1,960 words) - 17:44, 1 July 2020
...rem to the case of proper morphisms of schemes and asserts that the direct image of a [[Coherent sheaf|coherent sheaf]] under such a mapping is coherent (se
11 KB (1,549 words) - 20:08, 17 December 2019
...of addition and Jordan multiplication. This algebra is not the homomorphic image of any special algebra.
13 KB (1,800 words) - 19:51, 15 March 2023
and the image of this mapping coincides with the subring of all even symmetric series in
14 KB (1,987 words) - 19:15, 16 January 2024
and the image of $ U _ {x ( t) } \in T _ {s} ^ {r} ( T _ {x ( t) } M) $
15 KB (2,257 words) - 17:31, 5 June 2020
...hisms in which the kernel of each outgoing homomorphism coincides with the image of the incoming one were encountered; such sequences are called [[Exact seq
12 KB (1,885 words) - 23:48, 23 April 2017
...al function of a real variable has the Darboux property if and only if the image of any interval is a [[Connected set|connected set]] (the Darboux property
13 KB (1,903 words) - 16:38, 19 March 2023
...xpansion of $n$, starting with the initial state; then define $u_n$ as the image under $\phi$ of the reached state. In the Thue–Morse case, the automaton
10 KB (1,633 words) - 08:05, 26 November 2023
is bo-linear if and only if the image $ U( S) $
14 KB (2,252 words) - 08:09, 21 January 2024
...that the elements corresponding to these fibrations have one and the same image under $ \delta $ (see ).
15 KB (2,046 words) - 05:46, 13 June 2022
there corresponds a continuous image of $ \mathfrak O (X) $.
14 KB (2,077 words) - 21:17, 17 January 2021
be the sheaf of invariants of the direct image $ f _ {*} {\mathcal F} $(
16 KB (2,386 words) - 16:47, 20 January 2024
...independent random variables having the same probability distribution with image set $\{0,1\}$. For $p:= \mathrm{Prob}[x_i=1]$, $X:=\sum_{i=1}^mx_i$, and $\
12 KB (1,954 words) - 17:47, 26 December 2013