首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 312 毫秒
1.
2.
In this paper we propose an axiomatization of the notion of system of terms of a theory by means of which we obtain a representation of equational classes (or varieties) of algebras. We define analgebraic transformational system (S.T.A.) as a quadruple (T,v,S,+) satisfying the axioms, where T is a set containing the variables v(n), n, and having operators S(): TT, . In addition there are operations Q+ on T commuting with the operators. A notion of morphism between S.T.A. 's is defined to obtain the category which is shown to be equivalent to the dual of the category of equational classes. In the last section we establish the equivalence between and Lawvere's category of algebraic theories in which every definable constant is present.

Extrait de la Thèse de doctorat de l'auteur, Université de Montréal, 1971.  相似文献   

3.
The existence is proved of a topologically transitive (t.t.) homeomorphism U of the space W = × Z of the formU (, z)=(T,, z+f ()) ( , z Z), where is a complete separable metric space, T is a t.t. homeomorphism of onto itself, Z is a separable banach space, andf is a continuous map: z. For the special case W = S1×R, T=+ ( is incommensurable with 2) the existence is proved of t.t. homeomorphisms (1) of two types: 1) with zero measure of the set of transitive points, 2) with zero measure of the set of intransitive points. An example is presented of a continuous functionf: S1R for which the corresponding homeomorphism (1) is t.t. for all incommensurable with 2.Translated from Matematicheskie Zametki, Vol. 14, No. 3, pp. 441–452, September, 1973.The author thanks D. V. Anosov for advice and interest in the work.  相似文献   

4.
, (t) >0 E(–, +),E<, , ¦f(t(t) xE, f(t)=0 (–, +).  相似文献   

5.
X(Y) f -:X(Y)={fM(×): fX(Y)=f(x,.)YX< . =(0, ), M (×) — , ×, X, Y, Z— . X(Y) Z(×).  相似文献   

6.
For every irrational number [0, 1) which is not of constant type we construct aC 2-diffeomorphism of the circle with rotation number which is of type III1. This diffeomorphism can be chosen arbitrarily close to the rotationR . Our methods also allow us to construct, for every Liouville number [0, 1), aC -diffeomorphism of the circle with rotation number which is of type III1.  相似文献   

7.
In this paper we consider a special kind of binary trees where each right edge is associated with a positive number and each left edge with a positive number( ). Given, and the number of nodesn, an optimal tree is one which minimizes the total weighted path length. An algorithm for constructing an optimal tree for given, , n is presented, based on which bounds for balances and total weighted path lengths of optimal trees are derived.  相似文献   

8.
9.
Complete Subobjects of Fuzzy Sets Over MV-Algebras   总被引:2,自引:1,他引:1  
A subobjects structure of the category -FSet of -fuzzy sets over a complete MV-algebra is investigated, where an -fuzzy set is a pair A = (A, ) such that A is a set and : A × A is a special map. Special subobjects (called complete) of an -fuzzy set A which can be identified with some characteristic morphisms A * = (L × L, ) are then investigated. It is proved that some truth-valued morphisms are characteristic morphisms of complete subobjects.  相似文献   

10.
11.
- ()N2,L F ( ) — , 2- , {s m() f} -L. — . (L F( ),L F( ) ={(k)} (kZ2) , fLF( ) f , , L F( ). - ={()} ={()} , n(())m()n(()+()) . R() , .. - . , . (L F ( ),L F ( )) , R(,)=O(1) (x).

The author wishes to express his gratitude to S. A.Teljakovski for setting the problem and for his attention to this paper.  相似文献   

12.
, c k b k . . . .

This work is supported by N.B.H.M. grant No. 48/1/94-R&D-II.  相似文献   

13.
Let M be a complete module of a purely algebraic field of degree n3, let be the lattice of this module and let F(X) be its form. By we denote any lattice for which we have = , where is a nondiagonal matrix satisfying the condition ¦-I¦ , I being the identity matrix. The complete collection of such lattices will be denoted by {}. To each lattice we associate in a natural manner the decomposable form F(X). The complete collection of forms, corresponding to the set {}, will be denoted by {F} It is shown that for any given arbitrarily small interval (N–, N+), one can select an such that for each F(X) from {F} there exists an integral vector X0 such that N– < F(X0) < N+.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 112, pp. 167–171, 1981.  相似文献   

14.
, , . , . Lip

The authors are indebted to Professor R. Bojanic for his valuable remarks and suggestions, especially for the simplification of the proof of Theorem 4.  相似文献   

15.
16.
Sunto Sia : YY un rivestimento doppio non diramato di una curva di genere quattro definita su C e a moduli generali. Sia il punto di 2-divisione associate a . In questa nota si studia il sistema 2 delle quardriche di contatto al modello canonico di Y, associato al dato rivestimento.e si esplicita una biezione tra l'insieme delle theta-caratteristiche dispari di Y che diffeiscono per e l'insieme dell theta caratteristiche dispari dell curve di genere tre la cui Jacobiana e isomorfa (come v.a.p.p.) alla varieta di Prym P(f Y Y)  相似文献   

17.
Summary Considerf+ ff+ (1–f2)+ f=0 together with the boundary conditionsf(0)=f(0)=0,f ()=1. If=–1,>0, arbitrary there is at least one solution which satisfies 0<f<1 on (0, ). By the additional conditionf>0 on (0, ) or, alternately 0<1, the uniqueness of the solution is demonstrated.If=1,<0, arbitrary the existence of solutions for which –1<f<0 in some initial interval (0,t) and satisfying generallyf>1 is established. In both problems, bounds forf (0) and qualitative behavior of the solutions are shown.
Sommario Si consideri il problema definito dall'equazionef+ f f+ (1–f2)+ f=0 e dalle condizioni al contornof(0)=f (0)=0,f()=1. Assumendo=–1,>0, arbitrario si dimostra che esiste almeno una soluzione che soddisfa 0<f<1 nell'intervallo (0, ). Se in aggiunta si ipotizzaf>0 in (0, ), oppure 0<=1, l'unicità délia soluzione è assicurata.Successivamente si considéra il problema di valori al contorno con=1,<0, arbitrario. In questo caso esiste un'intera classe di soluzioni che soddisfano –1<f<0 in un intorno dell'origine e tali chef>1, in generale.Di detti problemi viene studiato il comportamento délle soluzioni e vengono determinate dalle maggiorazioni e minorazioni del valoref(0).
  相似文献   

18.
( ) . .

Dedicated to Professor K. Tandori on his seventieth birthday

This research was supported in part by Grant # K41 100 of the Joint Fund of the Government of Ukraine and the International Science Foundation.  相似文献   

19.
Summary D-property (=set of primes) in finite groups is not in general inherited by subgroups. In this paper, as evidence in favor of the following conjecture (F. Gross): (o) If a finite group G satisfies D then its normal subgroups satisfy D-property as well. the Author shows that if the D and the D-properties (=set of the primes not in ) hold together in a finite group G, then both are inherited by the normal subgroups of G. As a corollary, the characterization of the groups satisfying both the properties D and D is given in terms of the composition factors.  相似文献   

20.
H={h 1,I } — , . : , I ¦(I)¦=¦I¦, ¦I¦ — I. H H ={h (I),I} . , , . L p .

Dedicated to Professor B. Szökefalvi-Nagy on his 75th birthday

This research was supported in part by MTA-NSF Grants INT-8400708 and 8620153.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号