Abstract

Summary. The article is continuation of [17]. At the beginning we prove some theorems concerning sums of finite sequence of vectors. We introduce the following notions: sum of finite subset of vectors, linear combination, carrier of linear combination, linear combination of elements of a given set of vectors, sum of linear combination. We also show that the set of linear combinations is a real linear space. At the end of article we prove some auxiliary theorems that should be proved in [8], [5], [9], [2] or [10].

Citations

1274	Tarski Grothendieck set theory - Trybulec - 1989
1237	Functions and their basic properties - Byliński - 1989
1164	Properties of subsets - Trybulec - 1989
991	Functions from a set to a set - Byliński - 1989
971	Relations and their basic properties - Woronowicz - 1989
709	Some basic properties of sets - Byliński - 1989
633	The fundamental properties of natural numbers - Bancerek - 1989
616	Cardinal numbers - Bancerek - 1989
537	Basic properties of real numbers - Hryniewiecki - 1990
370	Subsets of real numbers - Trybulec
325	Binary operations - Byliński - 1989
301	Finite sets - Darmochwał - 1989
259	Pigeon hole principle - Trybulec - 1990
244	Vectors in real linear space - Trybulec - 1990
173	Enumerated sets - Trybulec - 1990
146	Function domains and Frænkel operator - Trybulec - 1990
33	Subspaces and cosets of subspaces in real linear space - Trybulec - 1989
3	Boolean properties of sets — requirements - Committee