相关论文: Cross theorem

We study in detail the one-variable local theory of functions holomorphic over a finite-dimensional commutative associative unital $\mathbb{C}$-algebra $\mathcal{A}$, showing that it shares a multitude of features with the classical…

Crossed complexes are shown to have an algebra sufficiently rich to model the geometric inductive definition of simplices, and so to give a purely algebraic proof of the Homotopy Addition Lemma (HAL) for the boundary of a simplex. This…

Going back to Kreisel in the Sixties, hyperarithmetical analysis is a cluster of logical systems just beyond arithmetical comprehension. Only recently natural examples of theorems from the mathematical mainstream were identified that fit…

Let $D$ be a domain in the complex plane, $M$ be an extended real function on $D$. If $f$ is a non-zero holomorphic function on $D$ with an upper constraint $|f|\leq \exp M$ on this domain $D$, then it is natural to expect that there must…

Let $X$ be a Riemann domain over $\mathbb C^k\times\mathbb C^\ell$. If $X$ is domain of holomorphy with respect to a family $\mathcal F\subset\mathcal O(X)$, then there exists a pluripolar set $P\subset\mathcal C^k$ such that every slice…

Let $D\subset\subset\mathbb{C}^n$ be a complex manifold of dimension $p\geq 2$ with $\C^2$ boundary in $\mathbb{C}^n$. Let $f$ be a $\C^1$ function on $bD$ and $V$ a generic and large enough family of complex $(n-p+1)$-planes. Let suppose…

Let $\Gamma $ be a $C^\infty $ curve in $\Bbb{C}$ containing 0; it becomes $\Gamma_\theta $ after rotation by angle $\theta $ about 0. Suppose a $C^\infty $ function $f$ can be extended holomorphically to a neighborhood of each element of…

The notion of a complete Boolean algebra, although completely legitimate in constructive mathematics, fails to capture some natural structures such as the lattice of subsets of a given set. Sambin's notion of an overlap algebra, although…

We consider a combination of heavily trimmed sums and sample quantiles which arises when examining properties of clustering criteria and prove limit theorems. The object of interest, which we call the Empirical Cross-over Function, is an…

In this article we prove a general result which in particular suggests that, on a simply connected domain in C, all the derivatives and anti-derivatives of the generic holomorphic function are unbounded. A similar result holds for the…

Under certain hypotheses on the Banach space $X$, we prove that the set of analytic functions in $\mathcal{A}_u(X)$ (the algebra of all holomorphic and uniformly continuous functions in the ball of $X$) whose Aron-Berner extensions attain…

Let $X$ and $Y$ be the Hausdorff topological spaces and let $A$ be both an $\fs$- and $\gd$- subset of $X$. Let also $f\cn A\to Y$ be a function for which the inverse image of every open subset $U\subset Y$ is $\fs$ in $X$. We show that $f$…

Let D be a bounded, finitely connected domain in the complex plane without isolated points in the boundary and let f be a continuous function on the boundary bD. Let F be a continuous extension of f to the closure of D. We prove that f…

We study crossed products of arbitrary operator algebras by locally compact groups of completely isometric automorphisms. We develop an abstract theory that allows for generalizations of many of the fundamental results from the selfadjoint…

A local system H on a complex manifold M can be viewed in two ways--either as a locally free sheaf, or as a union of covering spaces T = T(H). When M is an open set in a bigger manifold, the local system will generally not extend, because…

Starting from an arbitrary endomorphism $\alpha$ of a unital C*-algebra $A$ we construct a bigger C*-algebra $B$ and extend $\alpha$ onto $B$ in such a way that the extended endomorphism $\alpha$ has a unital kernel and a hereditary range,…

Let $X$ be a Cantor set, and let $A$ be a unital separable simple amenable $C$*-algebra with tracial rank zero which satisfies the Universal Coefficient Theorem, we use $C(X,A)$ to denote the set of all continuous functions from $X$ to $A$,…

Let $G$ be a Polish group and let $H \leq G$ be a compact subgroup. We prove that there exists a Borel set $T \subset G$ which is simultaneously a complete set of coset representatives of left and right cosets, provided that a certain index…

Let D be a bounded domain in the complex plane whose boundary consists of m pairwise disjoint simple closed curves where m is greater than one. Let A(bD) be the algebra of all continuous functions on bD which extend holomorphically through…

The purpose of this note is to observe that a homomorphism of discrete groups $f:\Gamma\to G$ arises as the induced map $\pi_0(\mathfrak{M})\to \pi_0(\mathfrak{X})$ on path components of some closed normal inclusion of topological groups…