Let V denote a finite dimensional vector space over a field K of characteristic 0, let Tn(V) denote the vector space whose elements are the K-valued n-linear functions on V, and let Sn(V) denote the subspace of Tn(V) whose members are the fully symmetric members of Tn(V). If n denotes the symmetric group on {1,2,…,n} then we define the projection by the formula , where Pσ : Tn(V) → Tn(V) is defined so that Pσ(A)(y1,y2,…,yn = A(yσ(1),yσ(2),…,yσ(n)) for each A?Tn(V) and yi?V, 1 ? i ? n. If , then x1?x2? … ?xn denotes the member of Tn(V) such that for each y1 ,2,…,yn in V, and x1·x2… xn denotes . If B? Sn(V) and there exists , such that B = x1·x2…xn, then B is said to be decomposable. We present two sets of necessary and sufficient conditions for a member B of Sn(V) to be decomposable. One of these sets is valid for an arbitrary field of characteristic zero, while the other requires that K = R or C. 相似文献
If k is a perfect field of characteristic p ≠ 0 and k(x) is the rational function field over k, it is possible to construct cyclic extensions Kn over k(x) such that [K : k(x)] = pn using the concept of Witt vectors. This is accomplished in the following way; if [β1, β2,…, βn] is a Witt vector over k(x) = K0, then the Witt equation generates a tower of extensions through where . In this paper, it is shown that there exists an alternate method of generating this tower which lends itself better for further constructions in Kn. This alternate generation has the form Ki = Ki?1(yi); yip ? yi = Bi, where, as a divisor in Ki?1, Bi has the form . In this form q is prime to Πpjλj and each λj is positive and prime to p. As an application of this, the alternate generation is used to construct a lower-triangular form of the Hasse-Witt matrix of such a field Kn over an algebraically closed field of constants. 相似文献
Let be a polynomial in the variables x1,…,xp with nonnegative real coefficients which sum to one, let A1,…,Ap be stochastic matrices, and let be the stochastic matrix which is obtained from ? by substituting the Kronecker product of An11,…,Anppfor each term Xn11·?·Xnpp. In this paper, we present necessary and sufficient conditions for the Cesàro limit of the sequence of the powers of to be equal to the Kronecker product of the Cesàro limits associated with each of A1,…,Ap. These conditions show that the equality of these two matrices depends only on the number of ergodic sets under and?or the cyclic structure of the ergodic sets under A1,…,Ap, respectively. As a special case of these results, we obtain necessary and sufficient conditions for the interchangeability of the Kronecker product and the Cesàro limit operator. 相似文献
Let a complex pxn matrix A be partitioned as A′=(A′1,A′2,…,A′k). Denote by ?(A), A′, and A? respectively the rank of A, the transpose of A, and an inner inverse (or a g-inverse) of A. Let A(14) be an inner inverse of A such that A(14)A is a Hermitian matrix. Let B=(A(14)1,A(14)2,…,Ak(14)) and .Then the product of nonzero eigenvalues of BA (or AB) cannot exceed one, and the product of nonzero eigenvalues of BA is equal to one if and only if either B=A(14) or for all i ≠ j,i, j=1,2,…,k . The results of Lavoie (1980) and Styan (1981) are obtained as particular cases. A result is obtained for k=2 when the condition is no longer true. 相似文献
Davio and Deschamps have shown that the solution set, K, of a consistent Boolean equation over a finite Boolean algebra B may be expressed as the union of a collection of subsets of Bn, each of the form {(x1, …, xn) | ai≤xi≤bi, ai?B, bi?B, i = 1, …, n}. We refer to such subsets of Bn as segments and to the collection as a segmental cover of K. We show that is consistent if and only if ? can be expressed by one of a class of sum-of-products expressions which we call segmental formulas. The object of this paper is to relate segmental covers of K to segmental formulas for ?. 相似文献
We improve several results published from 1950 up to 1982 on matrix functions commuting with their derivative, and establish two results of general interest. The first one gives a condition for a finite-dimensional vector subspace E(t) of a normed space not to depend on t, when t varies in a normed space. The second one asserts that if A is a matrix function, defined on a set ?, of the form A(t)= U diag(B1(t),…,Bp(t)) U-1, t ∈ ?, and if each matrix function Bk has the polynomial form then A itself has the polynomial form , where , dk being the degree of the minimal polynomial of the matrix Ck, for every k ∈ {1,…,p}. 相似文献
If r, k are positive integers, then denotes the number of k-tuples of positive integers (x1, x2, …, xk) with 1 ≤ xi ≤ n and (x1, x2, …, xk)r = 1. An explicit formula for is derived and it is shown that .If S = {p1, p2, …, pa} is a finite set of primes, then 〈S〉 = {p1a1p2a2…psas; pi ∈ S and ai ≥ 0 for all i} and denotes the number of k-tuples (x1, x3, …, xk) with 1 ≤ xi ≤ n and (x1, x2, …, xk)r ∈ 〈S〉. Asymptotic formulas for are derived and it is shown that . 相似文献
Let g = (g1,…,gr) ≥ 0 and h = (h1,…,hr) ≥ 0, g?, h? ∈ , be two vectors of nonnegative integers and let λ ? , λ ≥ 0, λ ≡ 0 mod d, where d denotes g.c.d. (g1,…,gr). Define It is shown in this paper that Λ(λ) is periodic in λ with constant jump. If i? {1,…,r} is such that then holds true for all sufficiently large λ, λ ≡ 0 mod d. 相似文献
Let A be an n-square normal matrix over , and Qm, n be the set of strictly increasing integer sequences of length m chosen from 1,…, n. For α,β∈Qm, n denote by A[α|β] the submatrix obtained from A by using rows numbered α and columns numbered β. For k∈{0,1,…,m} write z.sfnc;α∩β|=k if there exists a rearrangement of 1,…,m, say i1,…,ik, ik+1,…,im, such that α(ij)=β(ij), j=1,…,k, and {α(ik+1),…,α(im)};∩{β(ik+1),…,β(im)}=ø. Let be the group of n-square unitary matrices. Define the nonnegative number , where |α∩β|=k. Theorem 1 establishes a bound for ?k(A), 0?k<m?1, in terms of a classical variational inequality due to Fermat. Let A be positive semidefinite Hermitian, n?2m. Theorem 2 leads to an interlacing inequality which, in the case n=4, m=2, resolves in the affirmative the conjecture that . 相似文献
Elliptic boundary value problems for systems of nonlinear partial differential equations of the form , i = 1(1)N, j, k = 1(1)n, pi ? 0, ? being a small parameter, with Dirichlet boundary conditions are considered. It is supposed that a formal approximation Z is given which satisfies the boundary conditions and the differential equations upto the order χ(?) = o(1) in some norm. Then, using the theory of differential inequalities, it is shown that under certain conditions the difference between the exact solution u of the boundary value problem and the formal approximation Z, taken in the sense of a suitable norm, can be made small. 相似文献
In this paper, the problem of phase reconstruction from magnitude of multidimensional band-limited functions is considered. It is shown that any irreducible band-limited function f(z1…,zn), zi ? , i=1, …, n, is uniquely determined from the magnitude of f(x1…,xn): | f(x1…,xn)|, xi ? , i=1,…, n, except for (1) linear shifts: i(α1z1+…+αn2n+β), β, αi?, i=1,…, n; and (2) conjugation: . 相似文献
Given a set S of positive integers let denote the number of k-tuples 〈m1, …, mk〉 for which and (m1, …, mk) = 1. Also let denote the probability that k integers, chosen at random from , are relatively prime. It is shown that if P = {p1, …, pr} is a finite set of primes and S = {m : (m, p1 … pr) = 1}, then if k ≥ 3 and where d(S) denotes the natural density of S. From this result it follows immediately that as n → ∞. This result generalizes an earlier result of the author's where and S is then the whole set of positive integers. It is also shown that if S = {p1x1 … prxr : xi = 0, 1, 2,…}, then as n → ∞. 相似文献
Let and be polynomials with real zeros satisfying An?1 = Bn?1 = 0, and let Using the recently proved validity of the van der Waerden conjecture on permanents, some results on the real zeros of H(x) are obtained. These results are related to classical results on composite polynomials. 相似文献
Let Mm,n(F) denote the space of all mXn matrices over the algebraically closed field F. A subspace of Mm,n(F), all of whose nonzero elements have rank k, is said to be essentially decomposable if there exist nonsingular mXn matrices U and V respectively such that for any element A, UAV has the form where A1 is iX(k–i) for some i?k. Theorem: If is a space of rank k matrices, then either is essentially decomposable or dim ?k+1. An example shows that the above bound on non-essentially-decomposable spaces of rank k matrices is sharp whenever n?2k–1. 相似文献
Let Ω = {1, 0} and for each integer n ≥ 1 let (n-tuple) and for all k = 0,1,…,n. Let {Ym}m≥1 be a sequence of i.i.d. random variables such that . For each A in , let TA be the first occurrence time of A with respect to the stochastic process {Ym}m≥1. R. Chen and A.Zame (1979, J. Multivariate Anal. 9, 150–157) prove that if n ≥ 3, then for each element A in , there is an element B in such that the probability that TB is less than TA is greater than . This result is sharpened as follows: (I) for n ≥ 4 and 1 ≤ k ≤ n ? 1, each element A in , there is an element B also in such that the probability that TB is less than TA is greater than ; (II) for n ≥ 4 and 1 ≤ k ≤ n ? 1, each element A = (a1, a2,…,an) in , there is an element C also in such that the probability that TA is less than TC is greater than if n ≠ 2m or n = 2m but ai = ai + 1 for some 1 ≤ i ≤ n?1. These new results provide us with a better and deeper understanding of the fair coin tossing process. 相似文献
Let (W4,?W4) be a 4-manifold. Let f1,f2,…,fk:(D2,?D2)→ (W4,?W4) be transverse immersions that have spherical duals . Then there are open disjoint subsets V1, V2,…,Vk of W, such that for each 1?i?k, (a) ?Vi=V1∩?W and ?Vi is an open regular neighborhood of fi(?D2) in ?W, and (b) (Vi,?Vi,fi(?D2)) is proper homotopy equivalent to (M, ?M, d)—a standard object in which d bounds an embedded flat disk. If we could get a homeomorphism instead of a proper homotopy equivalence, then we would be able to prove a 5-dimensional s-cobordism theorem. 相似文献
Let be a Dirichlet form in , where Ω is an open subset of n, n ? 2, and m a Radon measure on Ω; for each integer k with 1 ? k < n, let k be a Dirichlet form on some k-dimensional submanifold of Ω. The paper is devoted to the study of the closability of the forms E with domain and defined by: ki where 1 ? kp < ? < n, and where , gki denote restrictions of ?, g in to . Conditions are given for E to be closable if, for each i = 1,…, p, one has ki = n ? i. Other conditions are given for E to be nonclosable if, for some i, ki < n ? i. 相似文献
A technique for the numerical approximation of matrix-valued Riemann product integrals is developed. For a ? x < y ? b, Im(x, y) denotes , and Am(x, y) denotes an approximation of Im(x, y) of the form , where ak and yik are fixed numbers for i = 1, 2,…, m and k = 1, 2,…, N and xik = x + (y ? x)yik. The following result is established. If p is a positive integer, F is a function from the real numbers to the set of w × w matrices with real elements and F(1) exists and is continuous on [a, b], then there exists a bounded interval function H such that, if n, r, and s are positive integers, , then Further, if F(j) exists and is continuous on [a, b] for j = 1, 2,…, p + 1 and A is exact for polynomials of degree less than p + 1 ? j for j = 1, 2,…, p, then the preceding result remains valid when Aj is substituted for Ij. 相似文献
Solutions of Cauchy problems for the singular equations (in a Hilbert space setting) and , ω={(x1,…,xM)εm: 0 < xi < ci for each i=1,…,m} are shown to be unique and to depend Hölder continuously on the initial data in suitably chosen measures for 0?t < T < ∞. Logarithmic convexity arguments are used to derive the inequalities from which such results can be deduced. 相似文献