Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces

1977 ◽  
Vol 42 (4) ◽  
pp. 481-491 ◽  
Author(s):  
Iraj Kalantari ◽  
Allen Retzlaff
Keyword(s):  
Quotient Space ◽  
Vector Spaces ◽  
Infinite Field ◽  
Infinite Dimensional ◽  
Area Of Interest ◽  
Finite Dimensional ◽  
Recursively Enumerable ◽  
Simple Lattice ◽  
Vector Addition ◽  
Countably Infinite

The area of interest of this paper is recursively enumerable vector spaces; its origins lie in the works of Rabin [16], Dekker [4], [5], Crossley and Nerode [3], and Metakides and Nerode [14]. We concern ourselves here with questions about maximal vector spaces, a notion introduced by Metakides and Nerode in [14]. The domain of discourse is V∞ a fully effective, countably infinite dimensional vector space over a recursive infinite field F.By fully effective we mean that V∞, under a fixed Gödel numbering, has the following properties:(i) The operations of vector addition and scalar multiplication on V∞ are represented by recursive functions.(ii) There is a uniform effective procedure which, given n vectors, determines whether or not they are linearly dependent (the procedure is called a dependence algorithm).We denote the Gödel number of x by ⌈x⌉ By taking {εn ∣ n > 0} to be a fixed recursive basis for V∞, we may effectively represent elements of V∞ in terms of this basis. Each element of V∞ may be identified uniquely by a finitely-nonzero sequence from F Under this identification, εn corresponds to the sequence whose n th entry is 1 and all other entries are 0. A recursively enumerable (r.e.) space is a subspace of V∞ which is an r.e. set of integers, ℒ(V∞) denotes the lattice of all r.e. spaces under the operations of intersection and weak sum. For V, W ∈ ℒ(V∞), let V mod W denote the quotient space. Metakides and Nerode define an r.e. space M to be maximal if V∞ mod M is infinite dimensional and for all V ∈ ℒ(V∞), if V ⊇ M then either V mod M or V∞ mod V is finite dimensional. That is, M has a very simple lattice of r.e. superspaces.

On r.e. and co-r.e. vector spaces with nonextendible bases

1980 ◽  
Vol 45 (1) ◽  
pp. 20-34 ◽  
Author(s):  
J. Remmel
Keyword(s):  
Vector Space ◽  
Quotient Space ◽  
Independent Set ◽  
Effective Procedure ◽  
Vector Spaces ◽  
Natural Numbers ◽  
Infinite Dimensional ◽  
Recursively Enumerable ◽  
Vector Addition ◽  
Zero Vector

The concern of this paper is with recursively enumerable and co-recursively enumerable subspaces of a recursively presented vector spaceV∞ over a (finite or infinite) recursive field F which is defined in [6] to consist of a recursive subset U of the natural numbers N and operations of vector addition and scalar multiplication which are partial recursive and under which V∞ becomes a vector space. Throughout this paper, we will identify V∞ with N, say via some fixed Gödel numbering, and assume V∞ is infinite dimensional and has a dependence algorithm, i.e., there is a uniform effective procedure which determines whether or not any given n-tuple v0, …, vn−1 from V∞ is linearly dependent. Various properties of V∞ and its sub-spaces have been studied by Dekker [1], Guhl [3], Metakides and Nerode [6], Kalantari and Retzlaff [4], and the author [7].Given a subspace W of V∞, we say W is r.e. (co-r.e.) if W(V∞ − W) is an r.e. subset of N and write dim(V) for the dimension of V. Given subspaces V, W of V∞, V + W will denote the weak sum of V and W and if V ⋂ M = {0} (where 0 is the zero vector of V∞), we write V ⊕ Winstead of V + W. If W ⊇ V, we write Wmod V for the quotient space. An independent set A ⊆ V∞ is extendible if there is an r.e. independent set I ⊇ A such that I − A is infinite and A is nonextendible if it is not the case An is extendible. A r.e. subspace M ⊇ V∞ is maximal if dim(V∞ mod M) = ∞ and for any r.e. subspace W ⊇ Meither dim(W mod M) < ∞ or dim(V∞ mod W) < ∞.

Maximal and Cohesive vector spaces

1977 ◽  
Vol 42 (3) ◽  
pp. 400-418 ◽  
Author(s):  
J. B. Remmel
Keyword(s):  
Vector Space ◽  
Quotient Space ◽  
Effective Procedure ◽  
Vector Spaces ◽  
Recursively Enumerable Set ◽  
Infinite Dimensional ◽  
Recursively Enumerable ◽  
Vector Addition ◽  
Zero Vector ◽  
Recursive Set

Let N denote the natural numbers. If A ⊆ N, we write Ā for the complement of A in N. A set A ⊆ N is cohesive if (i) A is infinite and (ii) for any recursively enumerable set W either W ∩ A or ∩ A is finite. A r.e. set M ⊆ N is maximal if is cohesive.A recursively presented vector space (r.p.v.s.) U over a recursive field F consists of a recursive set U ⊆ N and operations of vector addition and scalar multiplication which are partial recursive and under which U becomes a vector space. A r.p.v.s. U has a dependence algorithm if there is a uniform effective procedure which applied to any n-tuple ν0, ν1, …, νn−1 of elements of U determines whether or not ν0, ν1 …, νn−1 are linearly dependent. Throughout this paper we assume that if U is a r.p.v.s. over a recursive field F then U is infinite dimensional and U = N. If W ⊆ U, then we say W is recursive (r.e., etc.) iff W is a recursive (r.e., etc.) subset of N. If S ⊆ U, we write (S)* for the subspace generated by S. If V1 and V2 are subspaces of U such that V1 ∩ V2 ={} (where is the zero vector of U), then we write V1 ⊕ V2 for (V1 ∪ V2)*. If V1 ⊆ V2⊆U are subspaces, we write V2/V1 for the quotient space.

scholarly journals Recursive equivalence types of vector spaces

1974 ◽  
Vol 18 (3) ◽  
pp. 376-384 ◽  
Author(s):  
Alan G. Hamilton
Keyword(s):  
Vector Space ◽  
Vector Spaces ◽  
Natural Numbers ◽  
Infinite Dimensional ◽  
Recursively Enumerable ◽  
Countably Infinite

We consider subspaces of a vector space UF, which is countably infinite dimensional over a recursively enumerable field F with recursive operations, where the operations in UF are also recursive, and where, of course, F and UF are sets of natural numbers. It is the object of this paper to investigate recursive equivalence types of such vector spaces and the ways in which their properties are analogous to and depend on properties of recursive equivalence types of sets.

Bases and α-dimensions of countable vector spaces with recursive operations

1970 ◽  
Vol 35 (1) ◽  
pp. 85-96
Author(s):  
Alan G. Hamilton
Keyword(s):  
Vector Space ◽  
Vector Spaces ◽  
Natural Numbers ◽  
Infinite Dimensional ◽  
Recursively Enumerable ◽  
Countably Infinite

This paper is based on the notions originally described by Dekker [2], [3], and the reader is referred to these for explanation of notation etc. Briefly, we are concerned with a countably infinite dimensional countable vector space Ū with recursive operations, regarded as being coded as a set of natural numbers. Necessarily, then, Ū must be a vector space over a field which itself is in some sense recursively enumerable and has recursive operations.

A r-maximal vector space not contained in any maximal vector space

1978 ◽  
Vol 43 (3) ◽  
pp. 430-441 ◽  
Author(s):  
J. Remmel
Keyword(s):  
Vector Space ◽  
Quotient Space ◽  
Independent Set ◽  
Scalar Multiplication ◽  
Effective Procedure ◽  
Natural Numbers ◽  
Infinite Dimensional ◽  
Vector Addition ◽  
Zero Vector

In [4], Metakides and Nerode define a recursively presented vector space V∞. over a (finite or infinite) recursive field F to consist of a recursive subset U of the natural numbers N and operations of vector addition and scalar multiplication which are partial recursive and under which V∞ becomes a vector space. Throughout this paper, we will identify V∞ with N, say via some fixed Gödel numbering, and assume V∞ is infinite dimensional and has a dependence algorithm, i.e., there is a uniform effective procedure which determines whether any given n-tuple v0, …, vn−1 from V∞ is linearly dependent. Given a subspace W of V∞, we write dim(W) for the dimension of W. Given subspaces V and W of V∞, V + W will denote the weak sum of V and W and if V ∩ W = {0) (where 0 is the zero vector of V∞), we write V ⊕ W instead of V + W. If W ⊇ V, we write W mod V for the quotient space. An independent set A ⊆ V∞ is extendible if there is a r.e. independent set I ⊇ A such that I − A is infinite and A is nonextendible if it is not the case that A is extendible.

scholarly journals Isomorphisms on countable vector spaces with recursive operations

1974 ◽  
Vol 18 (2) ◽  
pp. 230-235 ◽  
Author(s):  
Robert I. Soare
Keyword(s):  
Vector Space ◽  
Independent Set ◽  
Vector Spaces ◽  
Recursive Structure ◽  
Recursively Enumerable ◽  
Linearly Independent ◽  
Vector Addition

Terminology and notation may be found in Dekker [1] and [2]. Briefly, we fix a recursively enumerable (r.e.) field F with recursive structure, and let Ū be the vector space over F consisting of ultimately vanishing countable sequences of elements of F with the usual definitions of vector addition and multiplication by a scalar. A subspace V of Ū is called an α-space if V has a basis B which is contained in some r.e. linearly independent set S.

Vector Spaces

2021 ◽  
pp. 47-102
Author(s):  
Adel N. Boules
Keyword(s):  
Invariant Subspaces ◽  
Extensive Study ◽  
Vector Spaces ◽  
Inner Product ◽  
Product Spaces ◽  
Direct Sums ◽  
Infinite Dimensional ◽  
Quotient Spaces ◽  
Inner Product Spaces ◽  
Finite Dimensional

The first three sections of this chapter provide a thorough presentation of the concepts of basis and dimension. The approach is unified in the sense that it does not treat finite and infinite-dimensional spaces separately. Important concepts such as algebraic complements, quotient spaces, direct sums, projections, linear functionals, and invariant subspaces make their first debut in section 3.4. Section 3.5 is a brief summary of matrix representations and diagonalization. Then the chapter introduces normed linear spaces followed by an extensive study of inner product spaces. The presentation of inner product spaces in this section and in section 4.10 is not limited to finite-dimensional spaces but rather to the properties of inner products that do not require completeness. The chapter concludes with the finite-dimensional spectral theory.

scholarly journals Infinite dimensional representations of

1990 ◽  
Vol 32 (1) ◽  
pp. 25-33 ◽  
Author(s):  
A. Dean ◽  
F. Zorzitto
Keyword(s):  
Dynkin Diagram ◽  
Finite Dimension ◽  
Vector Spaces ◽  
Closed Field ◽  
Infinite Dimensional ◽  
Finite Dimensional ◽  
Linear Maps ◽  
Image Position ◽  
Subspace Problem ◽  
Extended Dynkin Diagram

By a representation of the extended Dynkin diagram we shall mean a list of 5 vector spaces P, E1, E2, E3, E4 over an algebraically closed field K, and 4 linear maps a1, a2, a3, a4 as shown.The spaces need not be of finite dimension.In their solution of the 4-subspace problem [6], Gelfand and Ponomarev have classified such representations when the spaces are finite dimensional. A representation like (1) can also be viewed as a module over the K-algebra R4 consisting of all 5 × 5 matrices having zeros off the first row and off the main diagonal.

scholarly journals Characterisations of partially continuous, strictly cosingular and φ- type operators

1991 ◽  
Vol 33 (2) ◽  
pp. 203-212 ◽  
Author(s):  
L. E. Labuschagne
Keyword(s):  
Quotient Space ◽  
Infinite Dimensional ◽  
Finite Dimensional

We will denote the dimension of a subspace M of X by dim M and the codimension of M with respect to X by codxM or simply cod M if there is no danger of confusion. The classes of infinite dimensional and closed infinite codimensional subspaces of X will be denoted by and respectively with ℱ(X) and ℱ(X) denoting the classes of finite dimensional and of finite codimensional subspaces of X respectively. For a subspace M of X we denote the injection of M into X by and the quotient map from X onto the quotient space X/M by . Where there is no danger of confusion we will write JM and QM. The injection of X into its completion will be denoted by Jx. Letting X′ denote the continuous dual of X we remark that since X′ is isometric to ()′, these two spaces will be considered identical where convenient. The orthogonal complements of subsets M ⊂ X in X′ and K ⊂ X′ in X will be denoted by M⊥ and ⊥K respectively; M⊥X and X⊥K will be used if there is danger of confusion.

Major subspaces of recursively enumerable vector spaces

1978 ◽  
Vol 43 (2) ◽  
pp. 293-303 ◽  
Author(s):  
Iraj Kalantari
Keyword(s):  
Vector Space ◽  
Space Structure ◽  
Vector Spaces ◽  
Recent Theory ◽  
Essential Difference ◽  
Infinite Dimensional ◽  
Recursively Enumerable ◽  
Partial Recursive Functions ◽  
Initial Work ◽  
Object Of Study

The main point of this paper is a further development of some aspects of the recent theory of recursively enumerable (r.e.) algebraic structures. Initial work in this area is due to Frölich and Shepherdson [4] and Rabin [10]. Here we are only concerned with vector space structure. The previous work on r.e. vector spaces is due to Dekker [2], [3], Metakides and Nerode [8], Remmel [11], Retzlaff [13], and the author [5].Our object of study is V∞ a countably infinite dimensional fully effective vector space over a countable recursive field . By fully effective we mean that V∞. under a fixed Godel numbering has the following properties:(i) Operations of vector addition and scalar multiplication on V∞ are presented by partial recursive functions on the Gödel numbers of elements of V∞.(ii) V∞ has a dependence algorithm, i.e., there is a uniform effective procedure which applied to any n vectors of V∞ determines whether or not they are linearly independent.We also study , the lattice of r.e. subspaces of V∞ (under the operations of intersection, ⋂ and (weak) sum, +). We note that if is not distributive and is merely modular (see [1]). This fact indicates the essential difference between the lattice of r.e. sets and .

Sign in / Sign up

Export Citation Format

Share Document