Whitney定理的一个推广形式

Whitney's theorem is a famous theorem in the local singularity theory. In this paper, as an application of Malgrange preparation theorem, a generalized form of Whitney's theorem will be derived.     

A Generalized Form of Whitney＇s Theorem

Whitney's theorem is a famous theorem in the local singularity theory.In this paper,as an application of Malgrange preparation theorem,a generalized form of Whitney's theorem will be derived.     

Sections of Serre fibrations with 2-manifold fibers

It was proved by H. Whitney in 1933 that a Serre fibration of compact metric spaces admits a global section provided every fiber is homeomorphic to the unit interval [0,1]. Results of this paper extend Whitney's theorem to the case when all fibers are homeomorphic to a given compact two-dimensional manifold.     

Stability Zones in Whitney's Extension Problem for Ultradifferentiable Functions

We establish a connection between the growth rate of weight functions generating nonquasianalytic classes of ultradifferentiable functions of Beurling and Roumieu type and the validity of an analog of Whitney's extension theorem for these classes.     

Local sections of Serre fibrations with 3-manifold fibers

It was proved by H. Whitney in 1933 that a Serre fibration of compact metric spaces admits a global section provided every fiber is homeomorphic to the unit interval [0,1]. An extension of the Whitney's theorem to the case when all fibers are homeomorphic to some fixed compact two-dimensional manifold was proved by the authors (Brodsky et al. (2008) [2]). The main result of this paper proves the existence of local sections in a Serre fibration with all fibers homeomorphic to some fixed compact three-dimensional manifold.     

Many function-spaces are not normal if the domain is not compact

V. Neves [4] has proved that C(M, N) with Whitney's C-topology or Michor's extension of Schwartz's D-topology is not a normal topological space provided that M is not compact. This result was shown by giving a closed embedding of Van Douwen's non-normal space using means of non-standard analysis. In this paper we recover this theorem by standard-techniques and by working in the function-space itself instead of giving an embedding. A similar method is used to obtain the same result for various other function-spaces in the case that the domain is not compact: spaces of continuous functions and C ^k-functions with Whitney's topology and spaces of sections of arbitrary differentiability-classes. Even any subspace of these spaces with non-empty interior is not normal, for example the spaces of immersions, embeddings, Riemannian metrics and symplectic structures. This also answers an open problem posed by Hirsch [2].     

On the Continuability of Multivalued Analytic Functions to an Analytic Subset

In the paper, it is shown that a germ of a many-valued analytic function can be continued analytically along the branching set at least until the topology of this set is changed. This result is needed to construct the many-dimensional topological version of Galois theory. The proof heavily uses Whitney's stratification.     

On graph planarity and semi-duality

In this (partly expository) paper we describe some of our recent results on graph planarity. These results concern strengthenings of Kuratowski's planarity criterion for quasi-4-connected graphs, for bipartite quasi-4-connected graphs, and for cubic bipartite graphs as well as generalizations of matroid duality of graphs and strengthenings of Whitney's planarity criterion.     

Each maximal planar graph with exactly two separating triangles is Hamiltonian

A classical result of Whitney states that each maximal planar graph without separating triangles is Hamiltonian, where a separating triangle is a triangle whose removal separates the graph. Chen [Any maximal planar graph with only one separating triangle is Hamiltonian J. Combin. Optim. 7 (2003) 79-86] proved that any maximal planar graph with only one separating triangle is still Hamiltonian. In this paper, it is shown that the conclusion of Whitney's Theorem still holds if there are exactly two separating triangles.     

A new approach to the linearity of testing planarity of graphs

In testing planarity of graphs, there are many criteria. The earliest one as known is the Kuratowski's theorem, then Whitney's, Maclane's, and so forth. Since the early sixties, people have begun researches on algorithms. Up to 1974, Hopcroft and Tarjan found an algorithm with a computing time being a linear function of the order of a graph. This is the linearity concerned here.This paper presents a new approach to the linearity by means of transforming the problem of testing planarity of a graphG into that of finding a spanning tree on another graphH, called an auxiliary graph ofG, with the order ofH being a linear function of that ofG. And moreover, we can also make the size ofH be a linear function of that ofG. The whole procedure is based on the building up of a theory of linear equations onGF (2) related toG.This was a report invited by RUTCOR, The State University of New Jersey, Rutgers, U. S. A. in 1984. And, the main part of this paper was completed during the author's stay at the Department of C & O, University of Waterloo, Canada.     

复合形在欧氏空间中的实现问题(Ⅱ)

<正> 并于复合形或更一般的空间在欧氏空间中的实现问题,曾经有过下面几个重要的结果:1°Van Kampen 在1932时证明有不能在2n维欧氏空间中实现的 n 维复合形 K 存在。Van Kampen 的证明倚赖于由及的约化二重对称积 K 作出的一个不变量.作者在[2]中指出 Van Kampen 不变量只是一组不变量(?),(I_m=整数加法群 I 或法2整数群 I_2,视 m 为偶或奇而定)其中极端的一个,即Φ~(2n),而Φ~m=0为     

一个新的Ky Fan匹配定理及其在L-凸度量空间中的应用

建立了转移开覆盖的一个新的Ky Fan型匹配定理．作为应用，获得了Fan-Browder重合定理，不动点定理、极大元定理，相交定理和截口定理．     

Generalized KKM theorems and common fixed point theorems

In this paper, we first prove a generalized KKM theorem, and then use this generalized KKM theorem to establish the generalized equi-KKM theorem, common fixed point theorems for a family of multivalued maps, and the Kakutani-Fan-Glicksberg fixed point theorem. We also show that an existence theorem of the common fixed point theorem is equivalent to the Kakutani-Fan-Glicksberg fixed point theorem.     

A relative interpolation theorem for infinitary universal Horn logic and its applications

In this paper we deal with infinitary universal Horn logic both with and without equality. First, we obtain a relative Lyndon-style interpolation theorem. Using this result, we prove a non-standard preservation theorem which contains, as a particular case, a Lyndon-style theorem on surjective homomorphisms in its Makkai-style formulation. Another consequence of the preservation theorem is a theorem on bimorphisms, which, in particular, provides a tool for immediate obtaining characterizations of infinitary universal Horn classes without equality from those with equality. From the theorem on surjective homomorphisms we also derive a non-standard Beth-style preservation theorem that yields a non-standard Beth-style definability theorem, according to which implicit definability of a relation symbol in an infinitary universal Horn theory implies its explicit definability by a conjunction of atomic formulas. We also apply our theorem on surjective homomorphisms, theorem on bimorphisms and definability theorem to algebraic logic for general propositional logic.     

The Kakutani's precompactness lemma

In this paper we establish a theorem that extends and sharpens an old precompactness lemma due to Kakutani. We use this theorem to derive the classical Arzelà-Ascoli theorem and a theorem of Defant and Floret for families of linear operators. We also use this theorem to derive a theorem for composition operators which yields as immediate corollaries a theorem of Geue and a locally convex version of a theorem of Aron and Schottenloher.     

播挪运算及其性质

在现有的播挪定义基础上,引入了对偶播挪的概念和任意论域子集族的内并、内交两种新运算,提出了十个定理.它们是：平凡播挪空间定理,最小播挪定理,播挪内运算封闭性定理,播挪任意交定理,播挪上确界定理,播挪运算分配性定理,播挪基判定定理,播挪基闭包定理,播挪基约简定理,播挪基内运算封闭性定理.这些定理对于播挪空间的研究具有一定的理论价值.     

一类新的KKM定理及其应用*

本文得到一类新的KKM定理,统一和改进了[2,3,0,7,11]中的结果。作为应用,我们得到了几个匹配定理、重合定理、不动点定理、极大极小不等式定理及截口定理。     

Minimax Problems for Set-Valued Mappings

In this article, by virtue of the Fan-Browder fixed point theorem, we first obtain a minimax theorem and establish an equivalent relationship between the minimax theorem and a cone saddle point theorem for scalar set-valued mappings. Then, by using scalarization functions, we investigate an existence theorem of the cone saddle point for set-valued mappings. Simultaneously, we also establish a minimax theorem for set-valued mappings.     

关于Michael选择问题

本文得到一个新的逼近选择定理及一个新的连续选择定理.作为这个新的连续选择定理的应用,我们给出一个新的不动点定理和一个新的重合定理(见文[1-27]).     

向量在几何中的应用

近期将欧氏平面E2上的正弦定理和余弦定理推广到三维欧氏空间E3中,建立了E3中四面体空间角正弦定理、二面角正弦定理和四面体余弦定理,利用向量给出了三维余弦定理和三维正弦定理的简单证明.