共查询到20条相似文献，搜索用时 23 毫秒
1.
H. D. Macpherson 《Periodica Mathematica Hungarica》1986,17(3):211-233
It is shown that ifG is a permutation group on an infinite setX, andG is (k−1)-transitive but notk-transitive (wherek ≥ 5), then the following hold:
- G is not (k + 3)-homogeneous.
- IfG is (k + 2)-homogeneous, then the group induced byG on ak-subset ofX is the alternating groupA _{ k }.
2.
Wu Shengjian 《数学学报(英文版)》1994,10(2):168-178
Letf(z) be an entire function of order λ and of finite lower order μ. If the zeros off(z) accumulate in the vicinity of a finite number of rays, then
- λ is finite;
- for every arbitrary numberk _{1}>1, there existsk _{2}>1 such thatT(k _{1} r,f)≤k _{2} T(r,f) for allr≥r _{0}. Applying the above results, we prove that iff(z) is extremal for Yang's inequalityp=g/2, then
- every deficient values off(z) is also its asymptotic value;
- every asymptotic value off(z) is also its deficient value;
- λ=μ;
- $\sum\limits_{a \ne \infty } {\delta (a,f) \leqslant 1 - k(\mu ).} $
3.
4.
Bijan Taeri 《Journal of Applied Mathematics and Computing》2006,20(1-2):75-96
Letm, n be positive integers. We denote byR(m, n) (respectivelyP(m, n)) the class of all groupsG such that, for everyn subsetsX _{1}, X_{2}, . . .,X _{n} of sizem ofG there exits a non-identity permutation σ such that $X_1 X_2 ...X_n \cap X_{\sigma (1)} X_{\sigma (2)} ...X_{\sigma (n)} \ne \not 0$ (respectively X_{1}X_{2} . . .X _{n} = X_{σ(1)}X{σ(2)} . . . X{gs(n)}). Let G be a non-abelian group. In this paper we prove that
- G ∈ P(2,3) if and only ifG isomorphic to S_{3}, whereS _{n} is the symmetric group onn letters.
- G ∈ R(2, 2) if and only if¦G¦ ≤ 8.
- IfG is finite, thenG ∈ R(3, 2) if and only if¦G¦ ≤ 14 orG is isomorphic to one of the following: SmallGroup(16,i), i ∈ {3, 4, 6, 11, 12, 13}, SmallGroup(32,49), SmallGroup(32, 50), where SmallGroup(m, n) is the nth group of orderm in the GAP [13] library.
5.
Horst Herrlich 《Applied Categorical Structures》1996,4(1):1-14
In the absence of the axiom of choice four versions of compactness (A-, B-, C-, and D-compactness) are investigated. Typical results:
- C-compact spaces form the epireflective hull in Haus of A-compact completely regular spaces.
- Equivalent are:
- the axiom of choice,
- A-compactness = D-compactness,
- B-compactness = D-compactness,
- C-compactness = D-compactness and complete regularity,
- products of spaces with finite topologies are A-compact,
- products of A-compact spaces are A-compact,
- products of D-compact spaces are D-compact,
- powers X ^{k} of 2-point discrete spaces are D-compact,
- finite products of D-compact spaces are D-compact,
- finite coproducts of D-compact spaces are D-compact,
- D-compact Hausdorff spaces form an epireflective subcategory of Haus,
- spaces with finite topologies are D-compact.
- Equivalent are:
- the Boolean prime ideal theorem,
- A-compactness = B-compactness,
- A-compactness and complete regularity = C-compactness,
- products of spaces with finite underlying sets are A-compact,
- products of A-compact Hausdorff spaces are A-compact,
- powers X ^{k} of 2-point discrete spaces are A-compact,
- A-compact Hausdorff spaces form an epireflective subcategory of Haus.
- Equivalent are:
- either the axiom of choice holds or every ultrafilter is fixed,
- products of B-compact spaces are B-compact.
- Equivalent are:
- Dedekind-finite sets are finite,
- every set carries some D-compact Hausdorff topology,
- every T _{1}-space has a T _{1}-D-compactification,
- Alexandroff-compactifications of discrete spaces and D-compact.
6.
LetX be an Hausdorff space. We say thatX is a CO space, ifX is compact and every closed subspace ofX is homeomorphic to a clopen subspace ofX, andX is a hereditarily CO space (HCO space), if every closed subspace is a CO space. It is well-known that every well-ordered chain with a last element, endowed with the interval topology, is an HCO space, and every HCO space is scattered. In this paper, we show the following theorems: Theorem (R. Bonnet):
- Every HCO space which is a continuous image of a compact totally disconnected interval space is homeomorphic to β+1 for some ordinal β.
- Every HCO space of countable Cantor-Bendixson rank is homeomorphic to α+1 for some countable ordinal α.
- X has only countably many isolated points,
- Every closed subset of X is countable or co-countable,
- Every countable closed subspace of X is homeomorphic to a clopen subspace, and every uncountable closed subspace of X is homeomorphic to X, and
- X is retractive.
7.
Svetoslav Ivanov Nenov 《Annali dell'Universita di Ferrara》1996,42(1):121-125
The existence and the uniqueness (with respect to a filtration-equivalence) of a vector flowX on ?^{ n },n≥3, such that:
- X has not any stationary points on ?^{ n };
- all orbits ofX are bounded;
- there exists a filtration forX are proved in the present note.
8.
Е. П. Долженко 《Analysis Mathematica》1978,4(4):247-268
Exact estimates are obtained for integrals of absolute values of derivatives and gradients, for integral moduli of continuity and for major variations of piecewise algebraic functions (in particular, for polynomials, rational functions, splines, etc.). These results are applied to the problems of approximation theory and to the estimates of Laurent and Fourier coefficients. Typical results:
- IfE is a measurable subset of the circle or of a line in thez-plane andR(z) is a rational function of degree ≦n, ¦R(z)¦≦ (z∈E), then ∝_{E} ¦R′(z)¦dz¦≦ 2πn; the latter estimate is exact forn=0, 1, ... and everyE with positive measure;
- Iff(x _{1},x _{2}, ...,x _{m}) is a real valued piecewise algebraic function of order (n, k) on the unit ballD⊂R ^{m} (in particular, a real valued rational function of order ≦n), and ¦f¦≦1 onD, then ∝_{D}¦gradf¦dx≦2π ^{m}/2n/Π(m/2); herem≧1, n≧0, 1≦k<∞;
- LetE=Π={z∶¦z¦=1}, and letc _{m}(R) be the mth Laurent coefficient ofR onΠ,C _{m}(n)=sup{¦cm(R)¦}, where sup is taken over allR from 1), then 1/7 min {n/¦m¦, 1} ≦C _{m}(n) ≦ min {n/¦m¦, 1}.
9.
Let X be a differentiable manifold endowed with a transitive action α: A×X→X of a Lie group A. Let K be a Lie group. Under suitable technical assumptions, we give explicit classification theorems, in terms of explicit finite dimensional quotients, of three classes of objects:
- equivalence classes of α-invariant K-connections on X
- α-invariant gauge classes of K-connections on X, and
- α-invariant isomorphism classes of pairs (Q,P) consisting of a holomorphic K ^{?}-bundle Q → X and a K-reduction P of Q (when X has an α-invariant complex structure).
10.
For a hypergraphH, we denote by
- τ(H) the minimumk such that some set ofk vertices meets all the edges,
- ν(H) the maximumk such that somek edges are pairwise disjoint, and
- λ(H) the maximumk≥2 such that the incidence matrix ofH has as a submatrix the transpose of the incidence matrix of the complete graphK _{ k }.
11.
REIDER Igor 《中国科学 数学(英文版)》2013,56(1):1-42
The nonabelian Jacobian J(X;L,d) of a smooth projective surface X is inspired by the classical theory of Jacobian of curves.It is built as a natural scheme interpolating between the Hilbert scheme X [d] of subschemes of length d of X and the stack M X(2,L,d) of torsion free sheaves of rank 2 on X having the determinant OX(L) and the second Chern class(= number) d.It relates to such influential ideas as variations of Hodge structures,period maps,nonabelian Hodge theory,Homological mirror symmetry,perverse sheaves,geometric Langlands program.These relations manifest themselves by the appearance of the following structures on J(X;L,d):1) a sheaf of reductive Lie algebras;2)(singular) Fano toric varieties whose hyperplane sections are(singular) Calabi-Yau varieties;3) trivalent graphs.This is an expository paper giving an account of most of the main properties of J(X;L,d) uncovered in Reider 2006 and ArXiv:1103.4794v1. 相似文献
12.
LetG = (X, E) be a simple graph of ordern, of stability numberα and of connectivityk withα ≤ k. The Chvátal-Erdös's theorem [3] proves thatG is hamiltonian. We have investigated under these conditions what can be said about the existence of cycles of lengthl. We have obtained several results:
- IfG ≠ K _{ k,k } andG ≠ C _{5},G has aC _{ n?1 }.
- IfG ≠ C _{5}, the girth ofG is at most four.
- Ifα = 2 and ifG ≠ C _{4} orC _{5},G is pancyclic.
- Ifα = 3 and ifG ≠ K _{3,3},G has cycles of any length between four andn.
- IfG has noC _{3},G has aC _{ n?2 }.
13.
T. S. H. Driessen 《Mathematical Methods of Operations Research》1986,30(1):A49-A64
For any natural numbersk andn, the subclass ofk-convexn-person games is introduced. In casek=n, the subclass consists of the convexn-person games. Ak-convexn-person game is characterized in several ways in terms of the core and certain marginal worth vectors. The marginal worth vectors of a game are described in terms of an upper bound for the core and the corresponding gap function. It is shown that thek-convexity of ann-person gamev is equivalent to
- all marginal worth vectors ofv belong to the core ofv; or
- the core ofv is the convex hull of the set consisting of all marginal worth vectors ofv; or
- the extreme points of the core ofv are exactly the marginal worth vectors ofv.
14.
Michiro Kondo 《Mathematica Slovaca》2014,64(5):1093-1104
We define states on bounded commutative residuated lattices and consider their property. We show that, for a bounded commutative residuated lattice X,
- If s is a state, then X/ker(s) is an MV-algebra.
- If s is a state-morphism, then X/ker(s) is a linearly ordered locally finite MV-algebra.
- s is a state-morphism on X.
- ker(s) is a maximal filter of X.
- s is extremal on X.
15.
Gaetana Restuccia 《Rendiconti del Circolo Matematico di Palermo》1983,32(3):289-306
Si considera il seguente problema posto da Grothendieck (E.G.A.): SeA è un anello eccellente edm un ideale diA, (A, m) ^{^}=m-adico completamento diA è eccellente? Si mostra che la risposta è positiva nei seguenti casi:
- A=algebra di tipo finito su un DVR completo di caratteristicap>0;
- A=algebra di tipo finito su un DVRC contenente un corpok di caratteristicap>0 e finito suk [C ^{ p }] oppure tale che:
- per ogni sottocampok′ dik contenentek ^{ p } tale che [k:k′]<∞, il modulo universale finito dei differenzialiD _{ k′ (C) } esiste;
- il corpo residuoK diC soddisfa rank_{ KK} ϒ_{ K/k }<∞
- C ha una Der-base.
16.
K. -J. Wirths 《Analysis Mathematica》1975,1(4):313-318
Последовательность {ita_{k}} _{(n)} ^{k} =1/∞ вещественных ч исел называется дважды мо нотонной, еслиa _{ k }-2a _{ k+1 }+a _{ k+2 } ≧0 дляk≧1. В работе доказываютс я следующие утвержде ния, являющиеся обобщени ем двух теорем Фейера:
- Если {ita_{k} — дважды моно тонная последовател ьность, то для ¦z¦<1 $$\operatorname{Re} \sum\limits_{\kappa = 1}^\infty {a_\kappa z^\kappa } /\sum\limits_{\kappa = 1}^n {a_\kappa z^\kappa } > 1/2$$ дляи≧ 1.
- Если О≦β<1 и последова тельность (k+1-2β)ak} дважд ы монотонна, то для ¦z¦<1 $$\operatorname{Re} \sum\limits_{\kappa = 1}^\infty {ka_\kappa z^\kappa } /\sum\limits_{\kappa = 1}^\infty {a_\kappa z^\kappa } > \beta $$ , то есть $$\sum\limits_{\kappa = 1}^\infty {a_\kappa z^\kappa } \varepsilon S_\beta ^\kappa $$ . При помощи 2) получены о бобщения и уточнения теорем из работы [1] о линейных комбинациях некотор ых однолистных функц ий.
17.
LetX be ann-element set and letA and? be families of subsets ofX. We say thatA and? are crosst-intersecting if |A ∩ B| ≥ t holds for all A ∈A and for allB ∈ ?. Suppose thatA and ? are crosst-intersecting. This paper first proves a crosst-intersecting version of Harper's Theorem:
- There are two crosst-intersecting Hamming spheresA _{0},? _{0} with centerX such that |A| ≤ |A _{0}| and|?| ≤ |? _{0}| hold.
- Suppose thatt ≥ 2 and that the pair of integers (|A) is maximal with respect to direct product ordering among pairs of crosst-intersecting families. Then,A and? are Hamming spheres with centerX.
- Ifn + t = 2k ? 1 then |A| |?| ≤ max \(\left\{ {\left( {K_k^n + \left( {_{k - 1}^{n - 1} } \right)} \right)^2 ,K_k^n K_{k - 1}^n } \right\}\) holds, whereK _{ l } ^{ n } is defined as \(\left( {_n^n } \right)\left( {_{n - 1}^n } \right) + \cdots + \left( {_l^n } \right).\)
- Ifn + t = 2k then |A| |? ≤ (K _{k} ^{n} )^{2} holds.
18.
Frédéric Maire 《Graphs and Combinatorics》1994,10(2-4):263-268
A graph istriangulated if it has no chordless cycle with at least four vertices (?k ≥ 4,C _{ k } ?G). These graphs Jhave been generalized by R. Hayward with theweakly triangulated graphs $(\forall k \geqslant 5,C_{k,} \bar C_k \nsubseteq G)$ . In this note we propose a new generalization of triangulated graphs. A graph G isslightly triangulated if it satisfies the two following conditions;
- G contains no chordless cycle with at least 5 vertices.
- For every induced subgraphH of G, there is a vertex inH the neighbourhood of which inH contains no chordless path of 4 vertices.
19.
Moti Gitik 《Israel Journal of Mathematics》1995,92(1-3):61-112
The strength of precipitousness, presaturatedness and saturatedness of NS_{κ} and NS _{κ} ^{λ} is studied. In particular, it is shown that:
- The exact strength of “ $NS_{\mu ^ + }^\lambda $ for a regularμ > max(λ, ?_{1})” is a (ω,μ)-repeat point.
- The exact strength of “NS_{κ} is presaturated over inaccessible κ” is an up-repeat point.
- “NS_{κ} is saturated over inaccessible κ” implies an inner model with ?αo(α) =α ^{++}.
20.
In this paper we describe an implementation of a cutting plane algorithm for the perfect matching problem which is based on the simplex method. The algorithm has the following features: -It works on very sparse subgraphs ofK _{ n } which are determined heuristically, global optimality is checked using the reduced cost criterion. -Cutting plane recognition is usually accomplished by heuristics. Only if these fail, the Padberg-Rao procedure is invoked to guarantee finite convergence. Our computational study shows that—on the average—very few variables and very few cutting planes suffice to find a globally optimal solution. We could solve this way matching problems on complete graphs with up to 1000 nodes. Moreover, it turned out that our cutting plane algorithm is competitive with the fast combinatorial matching algorithms known to date. 相似文献