首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 78 毫秒
1.
For n = 1, the space of ${\mathbb{R}}For n = 1, the space of \mathbbR{\mathbb{R}} -places of the rational function field \mathbbR(x1,?, xn){\mathbb{R}(x_1,\ldots, x_n)} is homeomorphic to the real projective line. For n ≥ 2, the structure is much more complicated. We prove that the space of \mathbbR{\mathbb{R}} -places of the rational function field \mathbbR(x, y){\mathbb{R}(x, y)} is not metrizable. We explain how the proof generalizes to show that the space of \mathbbR{\mathbb{R}} -places of any finitely generated formally real field extension of \mathbbR{\mathbb{R}} of transcendence degree ≥ 2 is not metrizable. We also consider the more general question of when the space of \mathbbR{\mathbb{R}} -places of a finitely generated formally real field extension of a real closed field is metrizable.  相似文献   

2.
Let ${\mathbb{A}}Let \mathbbA{\mathbb{A}} be a universal algebra of signature Ω, and let I{\mathcal{I}} be an ideal in the Boolean algebra P\mathbbA{\mathcal{P}_{\mathbb{A}}} of all subsets of \mathbbA{\mathbb{A}} . We say that I{\mathcal{I}} is an Ω-ideal if I{\mathcal{I}} contains all finite subsets of \mathbbA{\mathbb{A}} and f(An) ? I{f(A^{n}) \in \mathcal{I}} for every n-ary operation f ? W{f \in \Omega} and every A ? I{A \in \mathcal{I}} . We prove that there are 22à0{2^{2^{\aleph_0}}} Ω-ideals in P\mathbbA{\mathcal{P}_{\mathbb{A}}} provided that \mathbbA{\mathbb{A}} is countably infinite and Ω is countable.  相似文献   

3.
We study hypersurfaces in the Lorentz-Minkowski space \mathbbLn+1{\mathbb{L}^{n+1}} whose position vector ψ satisfies the condition L k ψ = + b, where L k is the linearized operator of the (k + 1)th mean curvature of the hypersurface for a fixed k = 0, . . . , n − 1, A ? \mathbbR(n+1)×(n+1){A\in\mathbb{R}^{(n+1)\times(n+1)}} is a constant matrix and b ? \mathbbLn+1{b\in\mathbb{L}^{n+1}} is a constant vector. For every k, we prove that the only hypersurfaces satisfying that condition are hypersurfaces with zero (k + 1)th mean curvature, open pieces of totally umbilical hypersurfaces \mathbbSn1(r){\mathbb{S}^n_1(r)} or \mathbbHn(-r){\mathbb{H}^n(-r)}, and open pieces of generalized cylinders \mathbbSm1(r)×\mathbbRn-m{\mathbb{S}^m_1(r)\times\mathbb{R}^{n-m}}, \mathbbHm(-r)×\mathbbRn-m{\mathbb{H}^m(-r)\times\mathbb{R}^{n-m}}, with k + 1 ≤ m ≤ n − 1, or \mathbbLm×\mathbbSn-m(r){\mathbb{L}^m\times\mathbb{S}^{n-m}(r)}, with k + 1 ≤ nm ≤ n − 1. This completely extends to the Lorentz-Minkowski space a previous classification for hypersurfaces in \mathbbRn+1{\mathbb{R}^{n+1}} given by Alías and Gürbüz (Geom. Dedicata 121:113–127, 2006).  相似文献   

4.
A variety ${\mathbb{V}}${\mathbb{V}} is var-relatively universal if it contains a subvariety \mathbbW{\mathbb{W}} such that the class of all homomorphisms that do not factorize through any algebra in \mathbbW{\mathbb{W}} is algebraically universal. And \mathbbV{\mathbb{V}} has an algebraically universal α-expansion a\mathbbV{\alpha\mathbb{V}} if adding α nullary operations to all algebras in \mathbbV{\mathbb{V}} gives rise to a class a\mathbbV{\alpha\mathbb{V}} of algebras that is algebraically universal. The first two authors have conjectured that any varrelative universal variety \mathbbV{\mathbb{V}} has an algebraically universal α-expansion a\mathbbV{\alpha\mathbb{V}} . This note contains a more general result that proves this conjecture.  相似文献   

5.
Let X be a normed space and V be a convex subset of X. Let a\colon \mathbbR+ ? \mathbbR+{\alpha \colon \mathbb{R}_+ \to \mathbb{R}_+}. A function f \colon V ? \mathbbR{f \colon V \to \mathbb{R}} is called α-midconvex if
f (\fracx + y2)-\fracf(x) + f(y)2 £ a(||x - y||)    for  x, y ? V.f \left(\frac{x + y}{2}\right)-\frac{f(x) + f(y)}{2}\leq \alpha(\|x - y\|)\quad {\rm for} \, x, y \in V.  相似文献   

6.
Carlson and Toledo conjectured that if an infinite group Γ is the fundamental group of a compact K?hler manifold, then virtually H2(G, \mathbb R) 1 0{H^{2}(\Gamma, {\mathbb R}) \ne 0} . We assume that Γ admits an unbounded reductive rigid linear representation. This representation necessarily comes from a complex variation of Hodge structure ( \mathbbC{\mathbb{C}} -VHS) on the K?hler manifold. We prove the conjecture under some assumption on the \mathbbC{\mathbb{C}} -VHS. We also study some related geometric/topological properties of period domains associated to such a \mathbbC{\mathbb{C}} -VHS.  相似文献   

7.
We prove that the only compact surfaces of positive constant Gaussian curvature in \mathbbH2×\mathbbR{\mathbb{H}^{2}\times\mathbb{R}} (resp. positive constant Gaussian curvature greater than 1 in \mathbbS2×\mathbbR{\mathbb{S}^{2}\times\mathbb{R}}) whose boundary Γ is contained in a slice of the ambient space and such that the surface intersects this slice at a constant angle along Γ, are the pieces of a rotational complete surface. We also obtain some area estimates for surfaces of positive constant Gaussian curvature in \mathbbH2×\mathbbR{\mathbb{H}^{2}\times\mathbb{R}} and positive constant Gaussian curvature greater than 1 in \mathbbS2×\mathbbR{\mathbb{S}^{2}\times\mathbb{R}} whose boundary is contained in a slice of the ambient space. These estimates are optimal in the sense that if the bounds are attained, the surface is again a piece of a rotational complete surface.  相似文献   

8.
Let ${s,\,\tau\in\mathbb{R}}Let s, t ? \mathbbR{s,\,\tau\in\mathbb{R}} and q ? (0,¥]{q\in(0,\infty]} . We introduce Besov-type spaces [(B)\dot]s, tpq(\mathbbRn){{{{\dot B}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}} for p ? (0, ¥]{p\in(0,\,\infty]} and Triebel–Lizorkin-type spaces [(F)\dot]s, tpq(\mathbbRn) for p ? (0, ¥){{{{\dot F}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}\,{\rm for}\, p\in(0,\,\infty)} , which unify and generalize the Besov spaces, Triebel–Lizorkin spaces and Q spaces. We then establish the j{\varphi} -transform characterization of these new spaces in the sense of Frazier and Jawerth. Using the j{\varphi} -transform characterization of [(B)\dot]s, tpq(\mathbbRn) and [(F)\dot]s, tpq(\mathbbRn){{{{\dot B}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}\, {\rm and}\, {{\dot F}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}} , we obtain their embedding and lifting properties; moreover, for appropriate τ, we also establish the smooth atomic and molecular decomposition characterizations of [(B)\dot]s, tpq(\mathbbRn) and [(F)\dot]s, tpq(\mathbbRn){{{{\dot B}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}\,{\rm and}\, {{\dot F}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}} . For s ? \mathbbR{s\in\mathbb{R}} , p ? (1, ¥), q ? [1, ¥){p\in(1,\,\infty), q\in[1,\,\infty)} and t ? [0, \frac1(max{pq})¢]{\tau\in[0,\,\frac{1}{(\max\{p,\,q\})'}]} , via the Hausdorff capacity, we introduce certain Hardy–Hausdorff spaces B[(H)\dot]s, tpq(\mathbbRn){{{{B\dot{H}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}}} and prove that the dual space of B[(H)\dot]s, tpq(\mathbbRn){{{{B\dot{H}^{s,\,\tau}_{p,\,q}(\mathbb{R}^{n})}}}} is just [(B)\dot]-s, tp¢, q(\mathbbRn){\dot{B}^{-s,\,\tau}_{p',\,q'}(\mathbb{R}^{n})} , where t′ denotes the conjugate index of t ? (1,¥){t\in (1,\infty)} .  相似文献   

9.
Let ${\mathbb{G}}Let \mathbbG{\mathbb{G}} be a Carnot group of step r and m generators and homogeneous dimension Q. Let \mathbbFm,r{\mathbb{F}_{m,r}} denote the free Lie group of step r and m generators. Let also p:\mathbbFm,r?\mathbbG{\pi:\mathbb{F}_{m,r}\to\mathbb{G}} be a lifting map. We show that any horizontally convex function u on \mathbbG{\mathbb{G}} lifts to a horizontally convex function u°p{u\circ \pi} on \mathbbFm,r{\mathbb{F}_{m,r}} (with respect to a suitable horizontal frame on \mathbbFm,r{\mathbb{F}_{m,r}}). One of the main aims of the paper is to exhibit an example of a sub-Laplacian L=?j=1m Xj2{\mathcal{L}=\sum_{j=1}^m X_j^2} on a Carnot group of step two such that the relevant L{\mathcal{L}}-gauge function d (i.e., d 2-Q is the fundamental solution for L{\mathcal{L}}) is not h-convex with respect to the horizontal frame {X 1, . . . , X m }. This gives a negative answer to a question posed in Danielli et al. (Commun. Anal. Geom. 11 (2003), 263–341).  相似文献   

10.
Extending a result of Meyer and Reisner (Monatsh Math 125:219–227, 1998), we prove that if g: \mathbbR? \mathbbR+{g: \mathbb{R}\to \mathbb{R}_+} is a function which is concave on its support, then for every m > 0 and every z ? \mathbbR{z\in\mathbb{R}} such that g(z) > 0, one has
ò\mathbbR g(x)mdxò\mathbbR (g*z(y))m dy 3 \frac(m+2)m+2(m+1)m+3, \int\limits_{\mathbb{R}} g(x)^mdx\int\limits_{\mathbb{R}} (g^{*z}(y))^m dy\ge \frac{(m+2)^{m+2}}{(m+1)^{m+3}},  相似文献   

11.
Let ${\mathfrak{g}}Let \mathfrakg{\mathfrak{g}} be a finite dimensional simple Lie algebra over an algebraically closed field \mathbbK\mathbb{K} of characteristic 0. Let \mathfrakg\mathbbZ{\mathfrak{g}}_{{\mathbb{Z}}} be a Chevalley ℤ-form of \mathfrakg{\mathfrak{g}} and \mathfrakg\Bbbk=\mathfrakg\mathbbZ?\mathbbZ\Bbbk{\mathfrak{g}}_{\Bbbk}={\mathfrak{g}}_{{\mathbb{Z}}}\otimes _{{\mathbb{Z}}}\Bbbk, where \Bbbk\Bbbk is the algebraic closure of  \mathbbFp{\mathbb{F}}_{p}. Let G\BbbkG_{\Bbbk} be a simple, simply connected algebraic \Bbbk\Bbbk-group with \operatornameLie(G\Bbbk)=\mathfrakg\Bbbk\operatorname{Lie}(G_{\Bbbk})={\mathfrak{g}}_{\Bbbk}. In this paper, we apply recent results of Rudolf Tange on the fraction field of the centre of the universal enveloping algebra U(\mathfrakg\Bbbk)U({\mathfrak{g}}_{\Bbbk}) to show that if the Gelfand–Kirillov conjecture (from 1966) holds for \mathfrakg{\mathfrak{g}}, then for all p≫0 the field of rational functions \Bbbk (\mathfrakg\Bbbk)\Bbbk ({\mathfrak{g}}_{\Bbbk}) is purely transcendental over its subfield \Bbbk(\mathfrakg\Bbbk)G\Bbbk\Bbbk({\mathfrak{g}}_{\Bbbk})^{G_{\Bbbk}}. Very recently, it was proved by Colliot-Thélène, Kunyavskiĭ, Popov, and Reichstein that the field of rational functions \mathbbK(\mathfrakg){\mathbb{K}}({\mathfrak{g}}) is not purely transcendental over its subfield \mathbbK(\mathfrakg)\mathfrakg{\mathbb{K}}({\mathfrak{g}})^{\mathfrak{g}} if \mathfrakg{\mathfrak{g}} is of type B n , n≥3, D n , n≥4, E6, E7, E8 or F4. We prove a modular version of this result (valid for p≫0) and use it to show that, in characteristic 0, the Gelfand–Kirillov conjecture fails for the simple Lie algebras of the above types. In other words, if \mathfrakg{\mathfrak{g}} is of type B n , n≥3, D n , n≥4, E6, E7, E8 or F4, then the Lie field of \mathfrakg{\mathfrak{g}} is more complicated than expected.  相似文献   

12.
Let T be a C0–contraction on a separable Hilbert space. We assume that IH − T*T is compact. For a function f holomorphic in the unit disk \mathbbD{\mathbb{D}} and continuous on [`(\mathbbD)]\overline{{\mathbb{D}}}, we show that f(T) is compact if and only if f vanishes on s(T)?\mathbbT\sigma(T)\cap{\mathbb{T}}, where σ(T) is the spectrum of T and \mathbbT{\mathbb{T}} the unit circle. If f is just a bounded holomorphic function on \mathbbD{\mathbb{D}}, we prove that f(T) is compact if and only if limn? ¥||Tnf(T)|| = 0\lim\limits_{n\rightarrow \infty}\|T^{n}f(T)\| = 0.  相似文献   

13.
The field of quaternions, denoted by \mathbbH{\mathbb{H}} can be represented as an isomorphic four dimensional subspace of \mathbbR4×4{\mathbb{R}^{4\times 4}}, the space of real matrices with four rows and columns. In addition to the quaternions there is another four dimensional subspace in \mathbbR4×4{\mathbb{R}^{4\times 4}} which is also a field and which has – in connection with the quaternions – many pleasant properties. This field is called field of pseudoquaternions. It exists in \mathbbR4×4{\mathbb{R}^{4\times 4}} but not in \mathbbH{\mathbb{H}}. It allows to write the quaternionic linear term axb in matrix form as Mx where x is the same as the quaternion x only written as a column vector in \mathbbR4{\mathbb{R}^4}. And M is the product of the matrix associated with the quaternion a with the matrix associated with the pseudoquaternion b.  相似文献   

14.
Attaching to a compact disk [`(\mathbbDr)]{\overline{\mathbb{D}_{r}}} in the quaternion field \mathbbH{\mathbb{H}} and to some analytic function in Weierstrass sense on [`(\mathbbDr)]{\overline{\mathbb{D}_{r}}} the so-called q-Bernstein operators with q ≥ 1, Voronovskaja-type results with quantitative upper estimates are proved. As applications, the exact orders of approximation in [`(\mathbbDr)]{\overline{\mathbb{D}_{r}}} for these operators, namely \frac1n{\frac{1}{n}} if q = 1 and \frac1qn{\frac{1}{q^{n}}} if q > 1, are obtained. The results extend those in the case of approximation of analytic functions of a complex variable in disks by q-Bernstein operators of complex variable in Gal (Mediterr J Math 5(3):253–272, 2008) and complete the upper estimates obtained for q-Bernstein operators of quaternionic variable in Gal (Approximation by Complex Bernstein and Convolution-Type Operators, 2009; Adv Appl Clifford Alg, doi:, 2011).  相似文献   

15.
Given a closed subspace ${\mathcal{S}}Given a closed subspace S{\mathcal{S}} of a Hilbert space H{\mathcal{H}}, we study the sets FS{\mathcal{F}_\mathcal{S}} of pseudo-frames, CFS{\mathcal{C}\mathcal{F}_\mathcal{S}} of commutative pseudo-frames and \mathfrakXS{\tiny{\mathfrak{X}}_{\mathcal{S}}} of dual frames for S{\mathcal{S}}, via the (well known) one to one correspondence which assigns a pair of operators (F, H) to a frame pair ({fn}n ? \mathbbN,{hn}n ? \mathbbN){(\{f_n\}_{n\in\mathbb{N}},\{h_n\}_{n\in\mathbb{N}})},
F:l2H,     F({cn}n ? \mathbbN )=?n cn fn,F:\ell^2\to\,\mathcal{H}, \quad F\left(\{c_n\}_{n\in\mathbb{N}} \right)=\sum_n c_n f_n,  相似文献   

16.
Let α be a complex number of modulus strictly greater than 1, and let ξ ≠ 0 and ν be two complex numbers. We investigate the distribution of the sequence ξ α n  + ν, n = 0, 1, 2, . . . , modulo ${\mathbb{Z}[i],}Let α be a complex number of modulus strictly greater than 1, and let ξ ≠ 0 and ν be two complex numbers. We investigate the distribution of the sequence ξ α n  + ν, n = 0, 1, 2, . . . , modulo \mathbbZ[i],{\mathbb{Z}[i],} where i=?{-1}{i=\sqrt{-1}} and \mathbbZ[i]=\mathbbZ+i\mathbbZ{\mathbb{Z}[i]=\mathbb{Z}+i\mathbb{Z}} is the ring of Gaussian integers. For any z ? \mathbbC,{z\in \mathbb{C},} one may naturally call the quantity z modulo \mathbbZ[i]{\mathbb{Z}[i]} the fractional part of z and write {z} for this, in general, complex number lying in the unit square S:={z ? \mathbbC:0 £ \mathfrakR(z),\mathfrakJ(z) < 1 }{S:=\{z\in\mathbb{C}:0\leq \mathfrak{R}(z),\mathfrak{J}(z) <1 \}}. We first show that if α is a complex non-real number which is algebraic over \mathbbQ{\mathbb{Q}} and satisfies |α| > 1 then there are two limit points of the sequence {ξ α n  +ν}, n = 0, 1, 2, . . . , which are ‘far’ from each other (in terms of α only), except when α is an algebraic integer whose conjugates over \mathbbQ(i){\mathbb{Q}(i)} all lie in the unit disc |z| ≤  1 and x ? \mathbbQ(a,i).{\xi\in\mathbb{Q}(\alpha,i).} Then we prove a result in the opposite direction which implies that, for any fixed a ? \mathbbC{\alpha\in\mathbb{C}} of modulus greater than 1 and any sequence zn ? \mathbbC,n=0,1,2,...,{z_n\in\mathbb{C},n=0,1,2,\dots,} there exists x ? \mathbbC{\xi \in \mathbb{C}} such that the numbers ξ α n z n , n = 0, 1, 2, . . . , all lie ‘far’ from the lattice \mathbbZ[i]{\mathbb{Z}[i]}. In particular, they all can be covered by a union of small discs with centers at (1+i)/2+\mathbbZ[i]{(1+i)/2+\mathbb{Z}[i]} if |α| is large.  相似文献   

17.
In this paper, we mainly study polynomial generalized Vekua-type equation _boxclose)w=0{p(\mathcal{D})w=0} and polynomial generalized Bers–Vekua equation p(D)w=0{p(\mathcal{\underline{D}})w=0} defined in W ì \mathbbRn+1{\Omega\subset\mathbb{R}^{n+1}} where D{\mathcal{D}} and D{\mathcal{\underline{D}}} mean generalized Vekua-type operator and generalized Bers–Vekua operator, respectively. Using Clifford algebra, we obtain the Fischer-type decomposition theorems for the solutions to these equations including (D-l)kw=0,(D-l)kw=0(k ? \mathbbN){\left(\mathcal{D}-\lambda\right)^{k}w=0,\left(\mathcal {\underline{D}}-\lambda\right)^{k}w=0\left(k\in\mathbb{N}\right)} with complex parameter λ as special cases, which derive the Almansi-type decomposition theorems for iterated generalized Bers–Vekua equation and polynomial generalized Cauchy–Riemann equation defined in W ì \mathbbRn+1{\Omega\subset\mathbb{R}^{n+1}}. Making use of the decomposition theorems we give the solutions to polynomial generalized Bers–Vekua equation defined in W ì \mathbbRn+1{\Omega\subset\mathbb{R}^{n+1}} under some conditions. Furthermore we discuss inhomogeneous polynomial generalized Bers–Vekua equation p(D)w=v{p(\mathcal{\underline{D}})w=v} defined in W ì \mathbbRn+1{\Omega\subset\mathbb{R}^{n+1}}, and develop the structure of the solutions to inhomogeneous polynomial generalized Bers–Vekua equation p(D)w=v{p(\mathcal{\underline{D}})w=v} defined in W ì \mathbbRn+1{\Omega\subset\mathbb{R}^{n+1}}.  相似文献   

18.
We consider the operator exponential e tA , t > 0, where A is a selfadjoint positive definite operator corresponding to the diffusion equation in \mathbbRn {\mathbb{R}^n} with measurable 1-periodic coefficients, and approximate it in the operator norm ||   ·   ||L2( \mathbbRn ) ? L2( \mathbbRn ) {\left\| {\; \cdot \;} \right\|_{{{L^2}\left( {{\mathbb{R}^n}} \right) \to {L^2}\left( {{\mathbb{R}^n}} \right)}}} with order O( t - \fracm2 ) O\left( {{t^{{ - \frac{m}{2}}}}} \right) as t → ∞, where m is an arbitrary natural number. To construct approximations we use the homogenized parabolic equation with constant coefficients, the order of which depends on m and is greater than 2 if m > 2. We also use a collection of 1-periodic functions N α (x), x ? \mathbbRn x \in {\mathbb{R}^n} , with multi-indices α of length | a| \leqslant m \left| \alpha \right| \leqslant m , that are solutions to certain elliptic problems on the periodicity cell. These results are used to homogenize the diffusion equation with ε-periodic coefficients, where ε is a small parameter. In particular, under minimal regularity conditions, we construct approximations of order O(ε m ) in the L 2-norm as ε → 0. Bibliography: 14 titles.  相似文献   

19.
Let \mathbbF{\mathbb{F}} be a finite field and suppose that a single element of \mathbbF{\mathbb{F}} is used as an authenticator (or tag). Further, suppose that any message consists of at most L elements of \mathbbF{\mathbb{F}}. For this setting, usual polynomial based universal hashing achieves a collision bound of (L-1)/|\mathbbF|{(L-1)/|\mathbb{F}|} using a single element of \mathbbF{\mathbb{F}} as the key. The well-known multi-linear hashing achieves a collision bound of 1/|\mathbbF|{1/|\mathbb{F}|} using L elements of \mathbbF{\mathbb{F}} as the key. In this work, we present a new universal hash function which achieves a collision bound of mélogm Lù/|\mathbbF|, m 3 2{m\lceil\log_m L\rceil/|\mathbb{F}|, m\geq 2}, using 1+élogm Lù{1+\lceil\log_m L\rceil} elements of \mathbbF{\mathbb{F}} as the key. This provides a new trade-off between key size and collision probability for universal hash functions.  相似文献   

20.
Aim of this paper is to provide new examples of H?rmander operators L{\mathcal{L}} to which a Lie group structure can be attached making L{\mathcal{L}} left invariant. Our class of examples contains several subclasses of operators appearing in literature and arising both in theoretical and in applied fields: evolution Kolmogorov operators, degenerate Ornstein–Uhlenbeck operators, Mumford and Fokker–Planck operators, Ornstein–Uhlenbeck operators with time-dependent periodic coefficients. Our examples basically come from exponential of matrices, as well as from linear constant-coefficient ODE’s, in \mathbbR{\mathbb{R}} or in \mathbbC{\mathbb{C}} . Furthermore, we describe how these groups can be combined together to obtain new structures and new operators, also having an interest in the applied field.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号