首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 31 毫秒
1.
Let X \hookrightarrow[`(X)]{X \hookrightarrow \overline{X}} be an open immersion of smooth varieties over a field of characteristic p > 0 such that the complement is a simple normal crossing divisor and [`(Z)] í Z í [`(X)]{\overline{Z}\subseteq Z \subseteq \overline{X}} closed subschemes of codimension at least 2. In this paper, we prove that the canonical restriction functor between the categories of overconvergent F-isocrystals F-Isocf(X,[`(X)]) ? F-Isocf(X\Z,[`(X)]\[`(Z)]){F-{\rm Isoc}^\dagger(X,\overline{X}) \longrightarrow F-{\rm Isoc}^\dagger(X{\setminus}Z, \overline{X}{\setminus}\overline{Z})} is an equivalence of categories. We also give an application of our result to the equivalence of certain categories.  相似文献   

2.
A selection theorem concerning support points of convex sets in a Banach space is proved. As a corollary we obtain the following result. Denote by ${\mathcal{BCC}(X)}A selection theorem concerning support points of convex sets in a Banach space is proved. As a corollary we obtain the following result. Denote by BCC(X){\mathcal{BCC}(X)} the metric space of all nonempty bounded closed convex sets in a Banach space X. Then there exists a continuous mapping S : BCC(X) ? X{S : \mathcal{BCC}(X) \rightarrow X} such that S(K) is a support point of K for each K ? BCC(X){K \in \mathcal{BCC}(X)}. Moreover, it is possible to prescribe the values of S on a closed discrete subset of BCC(X){\mathcal{BCC}(X)}.  相似文献   

3.
We prove that if X is a Banach space and ${f : X \rightarrow \mathbb{R} \cup \{+\infty\}}$ is a proper function such that f ? ? attains its minimum for every ? ε X *, then the sublevels of f are all relatively weakly compact in X. As a consequence we show that a Banach space X where there exists a function ${f : X \rightarrow \mathbb{R}}$ such that f ? ? attains its minimum for every ? ε X * is reflexive. We also prove that if ${f : X \rightarrow \mathbb{R} \cup \{+\infty\}}$ is a weakly lower semicontinuous function on the Banach space X and if for every continuous linear functional ? on X the set where the function f ? ? attains its minimum is convex and non-empty then f is convex.  相似文献   

4.
Let A and X be nonempty, bounded and closed subsets of a geodesic metric space (E, d). The minimization (resp. maximization) problem denoted by min(A, X) (resp. max(A, X)) consists in finding ${(a_0,x_0) \in A \times X}$ such that ${d(a_0,x_0) = \inf\left\{d(a,x) : a \in A, x \in X\right\}}$ (resp. ${d(a_0,x_0) = \sup\left\{d(a,x) : a \in A, x \in X\right\}}$ ). We give generic results on the well-posedness of these problems in different geodesic spaces and under different conditions considering the set A fixed. Besides, we analyze the situations when one set or both sets are compact and prove some specific results for CAT(0) spaces. We also prove a variant of the Drop Theorem in Busemann convex geodesic spaces and apply it to obtain an optimization result for convex functions.  相似文献   

5.
In this paper we consider a nonlinear evolution reaction–diffusion system governed by multi-valued perturbations of m-dissipative operators, generators of nonlinear semigroups of contractions. Let X and Y be real Banach spaces, ${\mathcal{K}}In this paper we consider a nonlinear evolution reaction–diffusion system governed by multi-valued perturbations of m-dissipative operators, generators of nonlinear semigroups of contractions. Let X and Y be real Banach spaces, K{\mathcal{K}} be a nonempty and locally closed subset in \mathbbR ×X×YA:D(A) í X\rightsquigarrow X, B:D(B) í Y\rightsquigarrow Y{\mathbb{R} \times X\times Y,\, A:D(A)\subseteq X\rightsquigarrow X, B:D(B)\subseteq Y\rightsquigarrow Y} two m-dissipative operators, F:K ? X{F:\mathcal{K} \rightarrow X} a continuous function and G:K \rightsquigarrow Y{G:\mathcal{K} \rightsquigarrow Y} a nonempty, convex and closed valued, strongly-weakly upper semi-continuous (u.s.c.) multi-function. We prove a necessary and a sufficient condition in order that for each (t,x,h) ? K{(\tau,\xi,\eta)\in \mathcal{K}}, the next system
{ lc u¢(t) ? Au(t)+F(t,u(t),v(t))    t 3 tv¢(t) ? Bv(t)+G(t,u(t),v(t))    t 3 tu(t)=x,    v(t)=h, \left\{ \begin{array}{lc} u'(t)\in Au(t)+F(t,u(t),v(t))\quad t\geq\tau \\ v'(t)\in Bv(t)+G(t,u(t),v(t))\quad t\geq\tau \\ u(\tau)=\xi,\quad v(\tau)=\eta, \end{array} \right.  相似文献   

6.
Farthest points of sets in uniformly convex banach spaces   总被引:4,自引:0,他引:4  
LetS be a closed and bounded set in a uniformly convex Banach spaceX. It is shown that the set of all points inX which have a farthest point inS is dense. Letb(S) denote the set of all farthest points ofS, then a sufficient condition for to hold is thatX have the following property (I): Every closed and bounded convex set is the intersection of a family of closed balls.  相似文献   

7.
The main result is that, for any projective compact analytic subset Y of dimension q > 0 in a reduced complex space X, there is a neighborhood Ω of Y such that, for any covering space ${\Upsilon\colon\widehat X\to X}The main result is that, for any projective compact analytic subset Y of dimension q > 0 in a reduced complex space X, there is a neighborhood Ω of Y such that, for any covering space U\colon[^(X)]? X{\Upsilon\colon\widehat X\to X} in which [^(Y)] o U-1(Y){\widehat Y\equiv\Upsilon^{-1}(Y)} has no noncompact connected analytic subsets of pure dimension q with only compact irreducible components, there exists a C exhaustion function j{\varphi} on [^(X)]{\widehat X} which is strongly q-convex on [^(W)]=U-1(W){\widehat\Omega=\Upsilon^{-1}(\Omega)} outside a uniform neighborhood of the q-dimensional compact irreducible components of [^(Y)]{\widehat Y}.  相似文献   

8.
Let X be a Banach space with a separable dual X*. Let ${Y\subset X}Let X be a Banach space with a separable dual X*. Let Y ì X{Y\subset X} be a closed subspace, and f:Y?\mathbbR{f:Y\rightarrow\mathbb{R}} a C 1-smooth function. Then we show there is a C 1 extension of f to X.  相似文献   

9.
10.
Let G be a non-empty closed(resp.bounded closed)boundedly relatively weakly compact subset in a strictly convex Kadec Banach space X.Let K(X)denote the space of all non-empty compact convex subsets of X endowed with the Hausdorff distance.Moreover,let KG(X)denote the closure of the set {A∈K(x):A∩G=0}.We prove that the set of all A∈KG(X)(resp.A∈K(X)),such that the minimization (resp.maximization)problem min(A,G)(resp.max(A,G))is well posed,contains a dense Gδ-subset of KG(X)(resp.K(X)).thus extending the recent results due to Blasi,Myjak and Papini and Li.  相似文献   

11.
Let G be a simply connected semisimple algebraic group over an algebraically closed field k of characteristic 0 and let V be a rational simple G-module. If G/HP(V) is a spherical orbit and if X = [`(G/H)] X = \overline {G/H} is its closure, then we describe the orbits of X and those of its normalization [(X)\tilde] \tilde{X} . If, moreover, the wonderful completion of G/H is strict, then we give necessary and sufficient combinatorial conditions so that the normalization morphism [(X)\tilde] ? X \tilde{X} \to X is a homeomorphism. Such conditions are trivially fulfilled if G is simply laced or if H is a symmetric subgroup.  相似文献   

12.
We generalize a Hilbert space result by Auscher, McIntosh and Nahmod to arbitrary Banach spaces X and to not densely defined injective sectorial operators A. A convenient tool proves to be a certain universal extrapolation space associated with A. We characterize the real interpolation space ( X,D( Aa ) ?R( Aa ) )q,p{\left( {X,\mathcal{D}{\left( {A^{\alpha } } \right)} \cap \mathcal{R}{\left( {A^{\alpha } } \right)}} \right)}_{{\theta ,p}} as
{ x  ?  X|t - q\textRea y1 ( tA )xt - q\textRea y2 ( tA )x ? L*p ( ( 0,¥ );X ) } {\left\{ {x\, \in \,X|t^{{ - \theta {\text{Re}}\alpha }} \psi _{1} {\left( {tA} \right)}x,\,t^{{ - \theta {\text{Re}}\alpha }} \psi _{2} {\left( {tA} \right)}x \in L_{*}^{p} {\left( {{\left( {0,\infty } \right)};X} \right)}} \right\}}  相似文献   

13.
We study the well-posedness of the fractional differential equations with infinite delay (P 2): Da u(t)=Au(t)+òt-¥a(t-s)Au(s)ds + f(t), (0 £ t £ 2p){D^\alpha u(t)=Au(t)+\int^{t}_{-\infty}a(t-s)Au(s)ds + f(t), (0\leq t \leq2\pi)}, where A is a closed operator in a Banach space ${X, \alpha > 0, a\in {L}^1(\mathbb{R}_+)}${X, \alpha > 0, a\in {L}^1(\mathbb{R}_+)} and f is an X-valued function. Under suitable assumptions on the parameter α and the Laplace transform of a, we completely characterize the well-posedness of (P 2) on Lebesgue-Bochner spaces Lp(\mathbbT, X){L^p(\mathbb{T}, X)} and periodic Besov spaces B p,qs(\mathbbT, X){{B} _{p,q}^s(\mathbb{T}, X)} .  相似文献   

14.
Let G be a finite soluble group and F\mathfrakX(G) {\Phi_\mathfrak{X}}(G) an intersection of all those maximal subgroups M of G for which G
/ \textCor\texteG(M) ? \mathfrakX {{G} \left/ {{{\text{Cor}}{{\text{e}}_G}(M)}} \right.} \in \mathfrak{X} . We look at properties of a section F( G / F\mathfrakX(G) ) F\left( {{{G} \left/ {{{\Phi_\mathfrak{X}}(G)}} \right.}} \right) , which is definable for any class \mathfrakX \mathfrak{X} of primitive groups and is called an \mathfrakX \mathfrak{X} -crown of a group G. Of particular importance is the case where all groups in \mathfrakX \mathfrak{X} have equal socle length.  相似文献   

15.
Within the context of an involutive monoidal category the notion of a comparison relation ${\textsf{cp} : \overline{X} \otimes X \rightarrow \Omega}$ is identified. Instances are equality = on sets, inequality ${\leq}$ on posets, orthogonality ${\perp}$ on orthomodular lattices, non-empty intersection on powersets, and inner product ${\langle {-}|{-} \rangle}$ on vector or Hilbert spaces. Associated with a collection of such (symmetric) comparison relations a dagger category is defined with “tame” relations as morphisms. Examples include familiar categories in the foundations of quantum mechanics, such as sets with partial injections, or with locally bifinite relations, or with formal distributions between them, or Hilbert spaces with bounded (continuous) linear maps. Of one particular example of such a dagger category of tame relations, involving sets and bifinite multirelations between them, the categorical structure is investigated in some detail. It turns out to involve symmetric monoidal dagger structure, with biproducts, and dagger kernels. This category may form an appropriate universe for discrete quantum computations, just like Hilbert spaces form a universe for continuous computation.  相似文献   

16.
We show that if an infinite-dimensional Banach space X has a symmetric basis then there exists a bounded, linear operator ${R\,:\,X\longrightarrow\, X}We show that if an infinite-dimensional Banach space X has a symmetric basis then there exists a bounded, linear operator R : XX{R\,:\,X\longrightarrow\, X} such that the set
A = {x ? X : ||Rn x||? ¥}A = \{x \in X\,:\,{\left|\left|{R^n x}\right|\right|}\rightarrow \infty\}  相似文献   

17.
For a resistance form ${(X, \mathcal{D}(\varepsilon),\varepsilon)}For a resistance form (X, D(e),e){(X, \mathcal{D}(\varepsilon),\varepsilon)} and a point x0 ? X{x_0 \in X} as boundary, on the space X0:=X \{x0}{X_0:=X {\setminus}\{x_0\}} we consider the Dirichlet space Dx0:={f ? D(e) | f(x0)=0}{\mathcal{D}_{x_0}:=\{f\in\mathcal{D}(\varepsilon)\, |\, f(x_0)=0\}} and we develop a good potential theory. For any finely open subset D of X 0 we consider a localized resistance form (DX0 \ D,eD{\mathcal{D}_{X_0 {\setminus} D},\varepsilon_{D}}) where DX0 \ D:={f ? Dx0 | f=0{\mathcal{D}_{X_0 {\setminus} D}:=\{f\in\mathcal{D}_{x_0}\, |\, f=0} on X0 \ D}, eD(f,g):=e(f,g){X_0 {\setminus} D\},\, \varepsilon_D(f,g):=\varepsilon(f,g)} for all f,g ? DX0 \ D{f,g\in\mathcal{D}_{X_0 {\setminus} D}}. The main result is the equivalence between the local property of the resistance form and the sheaf property for the excessive elements on finely open sets.  相似文献   

18.
Let V be an n-dimensional vector space over an algebraically closed field and $\mathcal{N}Let V be an n-dimensional vector space over an algebraically closed field and N\mathcal{N} the nilcone of nilpotent endomorphisms of V. We study the variety A = {(X, Y, i, j) ? N ×N ×V ×V* |[X, Y] = ij} \mathcal{A} = \left\{{(X, Y, i, j) \in \mathcal{N} \times \mathcal{N} \times V \times V^{\ast} \vert [X, Y] = ij}\right\} which is closely related to the variety of pairs of nilpotent n × n matrices with commutator of rank at most 1. We describe its irreducible components: two of them correspond to the pairs of commuting matrices, and n − 2 components of smaller dimension corresponding to the pairs of rank one commutator. In our proof we define a map to the zero fiber of the Hilbert scheme of points and study the image and the fibers.  相似文献   

19.
Given two maps h : X ×K ? \mathbbR{h : X \times K \rightarrow \mathbb{R}} and g : XK such that, for all x ? X, h(x, g(x)) = 0{x \in X, h(x, g(x)) = 0} , we consider the equilibrium problem of finding [(x)\tilde] ? X{\tilde{x} \in X} such that h([(x)\tilde], g(x)) 3 0{h(\tilde{x}, g(x)) \geq 0} for every x ? X{x \in X} . This question is related to a coincidence problem.  相似文献   

20.
Given $\mathcal{X}Given X\mathcal{X}, some measurable subset of Euclidean space, one sometimes wants to construct a finite set of points, P ì X\mathcal{P}\subset\mathcal {X}, called a design, with a small energy or discrepancy. Here it is shown that these two measures of design quality are equivalent when they are defined via positive definite kernels K:X2(=X×X)?\mathbbRK:\mathcal{X}^{2}(=\mathcal{X}\times\mathcal {X})\to\mathbb{R}. The error of approximating the integral òXf(x) dm(x)\int_{\mathcal{X}}f(\boldsymbol{x})\,\mathrm{d}\mu(\boldsymbol{x}) by the sample average of f over P\mathcal{P} has a tight upper bound in terms of the energy or discrepancy of P\mathcal{P}. The tightness of this error bound follows by requiring f to lie in the Hilbert space with reproducing kernel K. The theory presented here provides an interpretation of the best design for numerical integration as one with minimum energy, provided that the measure μ defining the integration problem is the equilibrium measure or charge distribution corresponding to the energy kernel, K.  相似文献   

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

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