- (i) $\mathsf {AC}^{\mathrm{fin}(X)}$ iff $\mathsf {AC}^{\mathrm{fin}([X]^{<\omega } )}$ iff $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set iff $\mathsf {AC}^{\mathrm{fin}(F_{n}(X,2))}$.
- (ii) $\mathsf {AC}_{\mathrm{fin}}$ ($\mathsf {AC}$ restricted to families of finite sets) iff for every set X, $\mathcal {C}_\mathrm{R}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set.
- (iii) $\mathsf {AC}_{\mathrm{fin}}$ does not imply “$\mathcal {K}\big (\mathbf {2}^{X}\big )\backslash \lbrace \varnothing \rbrace$ has a choice set($\mathcal {K}(\mathbf {X})$ is the family of all closed subsets of the space $\mathbf {X}$)
- (iv) $\mathcal {K}(\mathbf {2}^{X})\backslash \lbrace \varnothing \rbrace$ implies $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$ but $\mathsf {AC}^{\mathrm{fin}(X)}$ does not imply $\mathsf {AC}^{\mathrm{fin}(\mathcal {\wp }(X))}$.
$[b]{lll}\mathrm{WF}_{\mathcal{F}L^q_{(\omega /\omega _0)}}(\operatorname {Op}(a)f)&\subseteq&\mathrm{WF}_{\mathcal{F}L^q_{(\omega )}}(f)\\[6pt]&\subseteq&\mathrm{WF}_{\mathcal{F}L^q_{(\omega/\omega _0)}}(\operatorname {Op}(a)f)\cup \operatorname {Char}(a).$\begin{array}[b]{lll}\mathrm{WF}_{\mathcal{F}L^q_{(\omega /\omega _0)}}(\operatorname {Op}(a)f)&\subseteq&\mathrm{WF}_{\mathcal{F}L^q_{(\omega )}}(f)\\[6pt]&\subseteq&\mathrm{WF}_{\mathcal{F}L^q_{(\omega/\omega _0)}}(\operatorname {Op}(a)f)\cup \operatorname {Char}(a).\end{array} 相似文献
12.
To each irreducible infinite dimensional representation $(\pi ,\mathcal {H})$ of a C*‐algebra $\mathcal {A}$, we associate a collection of irreducible norm‐continuous unitary representations $\pi _{\lambda }^\mathcal {A}$ of its unitary group ${\rm U}(\mathcal {A})$, whose equivalence classes are parameterized by highest weights in the same way as the irreducible bounded unitary representations of the group ${\rm U}_\infty (\mathcal {H}) = {\rm U}(\mathcal {H}) \cap (\mathbf {1} + K(\mathcal {H}))$ are. These are precisely the representations arising in the decomposition of the tensor products $\mathcal {H}^{\otimes n} \otimes (\mathcal {H}^*)^{\otimes m}$ under ${\rm U}(\mathcal {A})$. We show that these representations can be realized by sections of holomorphic line bundles over homogeneous Kähler manifolds on which ${\rm U}(\mathcal {A})$ acts transitively and that the corresponding norm‐closed momentum sets $I_{\pi _\lambda ^\mathcal {A}}^{\bf n} \subseteq {\mathfrak u}(\mathcal {A})^{\prime }$ distinguish inequivalent representations of this type. 相似文献
13.
设$\mathcal {A,\ B}$ 是含单位元的Banach代数, $\mathcal M$ 是一个Banach $\mathcal {A,\ B}$-双模. $\mathcal {T}=\left ( \begin{array}{cc} \mathcal {A} & \mathcal M \\ & \mathcal {B} \\ \end{array} \right )$按照通常矩阵加法和乘法,范数定义为$\|\left( \begin{array}{cc} a & m \\ & b\\ \end{array} \right)\|=\|a\|_{\mathcal A}+\|m\|_{\mathcal M}+\|b\|_{\mathcal B}$,构成三角Banach 代数.如果从$\mathcal T$到其$n$次对偶空间$\mathcal T^{n}$上的Lie导子都是标准的,则称$\mathcal T$是Lie $n$弱顺从的.本文研究了三角Banach代数$\mathcal T$上的Lie $n$弱顺从性,证明了有限维套代数是Lie $n$弱顺从的. 相似文献
14.
Quillen’s algebraic K-theory is reconstructed via Voevodsky’s algebraic cobordism. More precisely, for a ground field k the algebraic cobordism P1-spectrum MGL of Voevodsky is considered as a commutative P1-ring spectrum. Setting we regard the bigraded theory MGL
p,q
as just a graded theory. There is a unique ring morphism which sends the class [X]MGL of a smooth projective k-variety X to the Euler characteristic of the structure sheaf . Our main result states that there is a canonical grade preserving isomorphism of ring cohomology theories
15.
Toshimichi Usuba 《Mathematical Logic Quarterly》2013,59(3):230-237
We study combinatorial large cardinal properties on ${\mathcal {P}}_{\kappa } \lambda$, such as ineffability, almost ineffability, subtlety, and the Shelah property. We show that, even when λ > κ, the almost ineffability of ${\mathcal {P}}_{\kappa } \lambda$ does not yield the ineffability of κ. We also show that the Shelah property and the partition property of ${\mathcal {P}}_{\kappa } \lambda$ do not yield the subtlety of κ. 相似文献
16.
Global Well-Posedness and Asymptotic Behavior for the 2D Subcritical Dissipative Quasi-Geostrophic Equation in Critical Fourier-Besov-Morrey Spaces 下载免费PDF全文
In this paper, we study the subcritical dissipative quasi-geostrophic equation. By using the Littlewood Paley theory, Fourier analysis and standard techniques we prove that there exists $v$ a unique global-in-time solution for small initial data belonging to the critical Fourier-Besov-Morrey spaces $ \mathcal{F} {\mathcal{N}}_{p, \lambda, q}^{3-2 \alpha+\frac{\lambda-2}{p}}$. Moreover, we show the asymptotic behavior of the global solution $v$. i.e., $\|v(t)\|_{ \mathcal{F} {\mathcal{N}}_{p, \lambda, q}^{3-2 \alpha+\frac{\lambda-2}{p}}}$ decays to zero as time goes to infinity. 相似文献
17.
Adam Nyman 《Transactions of the American Mathematical Society》2005,357(4):1349-1416
Let be a smooth scheme of finite type over a field , let be a locally free -bimodule of rank , and let be the non-commutative symmetric algebra generated by . We construct an internal functor, , on the category of graded right -modules. When has rank 2, we prove that is Gorenstein by computing the right derived functors of . When is a smooth projective variety, we prove a version of Serre Duality for using the right derived functors of .
18.
Suppose λ is a positive number. Basic theory of cardinal interpolation ensures the existence of the Gaussian cardinal function \(L_\lambda (x) = \sum\nolimits_{k \in \mathbb{Z}} {c_k \exp ( - \lambda (x - k)^2 ),x \in \mathbb{R}} ,\) satisfying the interpolatory conditions \(L_\lambda (j) = \delta _{0j} ,j \in \mathbb{Z}.\) The paper considers the Gaussian cardinal interpolation operator $(\mathcal{L}_\lambda {\text{y}})(x): = \sum\limits_{k \in \mathbb{Z}} {y_k L_\lambda (x - k),{\text{ y}} = (y_k )_{k \in \mathbb{Z}} ,{\text{ }}x \in \mathbb{R}} ,$as a linear mapping from ℓp(ℤ) into L p(ℝ), 1≤ p ∞, and in particular, its behaviour as λ→0+. It is shown that \(\left\| {\mathcal{L}_\lambda } \right\|_p \) is uniformly bounded (in λ) for 1 < p < ∞, and that \(\left\| {\mathcal{L}_\lambda } \right\|_1 \asymp \log (1/\lambda )\) as λ→0+. The limiting behaviour is seen to be that of the classical Whittaker operator $\mathcal{W}:{\text{y}} \mapsto \sum\limits_{k \in \mathbb{Z}} {y_k \frac{{\sin \pi (x - k)}}{{\pi (x - k)}}} ,$in that \(\lim _{\lambda \to 0^ + } \left\| {\mathcal{L}_\lambda {\text{y}} - \mathcal{W}{\text{y}}} \right\|_p = 0,\) for every \({\text{y}} \in \ell ^p (\mathbb{Z}){\text{ and }}1 < p < \infty .\) It is further shown that the Gaussian cardinal interpolants to a function f which is the Fourier transform of a tempered distribution supported in (-π,π) converge locally uniformly to f as λ→0+. Multidimensional extensions of these results are also discussed. 相似文献19.
Let ${\mathcal{D}}_{n,k} $ be the family of linear subspaces of ?n given by all equations of the form $\varepsilon _1 x_{i_1 } = \varepsilon _2 x_{i_2 } = \cdot \cdot \cdot \varepsilon _k x_{i_k } ,$ for 1 ≤ < ? ? ? < i k ≤ i and $\left( {\varepsilon _1 ,...,\varepsilon _k } \right)\varepsilon \left\{ { + 1, - 1} \right\}^k $ Also let ${\mathcal{B}}_{n,k,h} $ be ${\mathcal{D}}_{n,k} $ enlarged by the subspaces $x_{j_1 } = x_{j_2 } = \cdot \cdot \cdot x_{j_h } = 0,$ for 1 ≤. The special cases ${\mathcal{B}}_{n,2,1} $ and ${\mathcal{D}}_{n,2} $ are well known as the reflection hyperplane arrangements corresponding to the Coxeter groups of type B nand D n respectively. In this paper we study combinatorial and topological properties of the intersection lattices of these subspace arrangements. Expressions for their Möbius functions and characteristic polynomials are derived. Lexicographic shellability is established in the case of ${\mathcal{B}}_{n,k,h,} 1 \leqslant h < k$ , which allows computation of the homology of its intersection lattice and the cohomology groups of the manifold $\begin{gathered} {\mathcal{D}}_{n,2} \\ M_{n,k,h,} = {\mathbb{R}}^n \backslash \bigcup {{\mathcal{B}}_{n,k,h,} } \\ \end{gathered} $ . For instance, it is shown that $H^d \left( {M_{n,k,k - 1} } \right)$ is torsion-free and is nonzero if and only if d = t(k ? 2) for some $t,0 \leqslant t \leqslant \left[ {{n \mathord{\left/ {\vphantom {n k}} \right. \kern-0em} k}} \right]$ . Torsion-free cohomology follows also for the complement in ?nof the complexification ${\mathcal{B}}_{n,k,h}^C ,1 \leqslant h < k$ . 相似文献
20.
Potential Analysis - We obtain Littlewood-Paley formulas for Fock spaces ${\mathcal {F}}_{\beta ,\omega }^{q}$ induced by weights $\omega \in {A}_{\infty }^{restricted} = \cup _{1 \le p <... 相似文献
|