scholarly journals Real Vector Space and Related NotionsThis study was supported in part by JSPS KAKENHI Grant Numbers 17K00182 and 20K19863.

2021 ◽  
Vol 29 (3) ◽  
pp. 117-127
Author(s):  
Kazuhisa Nakasho ◽  
Hiroyuki Okazaki ◽  
Yasunari Shidama
Keyword(s):  
Vector Space ◽  
Algebraic Structure ◽  
Linear Independence ◽  
Vector Spaces ◽  
Dimensional Vector ◽  
Real Vector ◽  
Type Conversion ◽  
Finite Dimensional ◽  
Finite Sequences ◽  
Complicated Process

Summary. In this paper, we discuss the properties that hold in finite dimensional vector spaces and related spaces. In the Mizar language [1], [2], variables are strictly typed, and their type conversion requires a complicated process. Our purpose is to formalize that some properties of finite dimensional vector spaces are preserved in type transformations, and to contain the complexity of type transformations into this paper. Specifically, we show that properties such as algebraic structure, subsets, finite sequences and their sums, linear combination, linear independence, and affine independence are preserved in type conversions among TOP-REAL(n), REAL-NS(n), and n-VectSp over F Real. We referred to [4], [9], and [8] in the formalization.

scholarly journals Relative invariants and b-functions of prehomogeneous vector spaces

1985 ◽  
Vol 98 ◽  
pp. 139-156 ◽  
Author(s):  
Yasuo Teranishi
Keyword(s):  
Vector Space ◽  
Linear Algebraic Group ◽  
Vector Spaces ◽  
Dimensional Vector ◽  
Rational Representation ◽  
Dimensional Vector Space ◽  
Finite Dimensional Vector Space ◽  
Finite Dimensional ◽  
Prehomogeneous Vector Spaces ◽  
Relative Invariants

Let G be a connected linear algebraic group, p a rational representation of G on a finite-dimensional vector space V, all defined over C.

Totally Variant Sets in Finite Groups and Vector Spaces

1968 ◽  
Vol 20 ◽  
pp. 701-710 ◽  
Author(s):  
Frederick Hoffman ◽  
Lloyd R. Welch
Keyword(s):  
Vector Space ◽  
Linear Transformation ◽  
Finite Groups ◽  
Dimensional Space ◽  
Vector Spaces ◽  
Dimensional Vector ◽  
Quaternion Group ◽  
Finite Dimensional ◽  
Identity Automorphism ◽  
Space Case

We are concerned here with the question of which finite groups and vector spaces possess subsets which are moved by every non-identity automorphism (in the vector-space case—non-singular linear transformation). We find that this is the case for all but four finite-dimensional vector spaces (2-, 3-, and 4-dimensional space over Z2, 2-dimensional space over Z3), and for all finite groups except for those corresponding to the vector-space exceptions, and the quaternion group of order eight. The question was first posed to the authors, in the vector-space case, by Morris Marx.

Products of idempotent endomorphisms of an independence algebra of infinite rank

1993 ◽  
Vol 114 (2) ◽  
pp. 303-319 ◽  
Author(s):  
John Fountain ◽  
Andrew Lewin
Keyword(s):  
Vector Space ◽  
Vector Spaces ◽  
Dimensional Vector ◽  
Dimensional Vector Space ◽  
Infinite Dimensional ◽  
Common Generalization ◽  
Finite Dimensional Vector Space ◽  
Infinite Rank ◽  
Finite Dimensional ◽  
Linear Maps

AbstractIn 1966, J. M. Howie characterized the self-maps of a set which can be written as a product (under composition) of idempotent self-maps of the same set. In 1967, J. A. Erdos considered the analogous question for linear maps of a finite dimensional vector space and in 1985, Reynolds and Sullivan solved the problem for linear maps of an infinite dimensional vector space. Using the concept of independence algebra, the authors gave a common generalization of the results of Howie and Erdos for the cases of finite sets and finite dimensional vector spaces. In the present paper we introduce strong independence algebras and provide a common generalization of the results of Howie and Reynolds and Sullivan for the cases of infinite sets and infinite dimensional vector spaces.

scholarly journals Products of idempotent endomorphisms of an independence algebra of finite rank

1992 ◽  
Vol 35 (3) ◽  
pp. 493-500 ◽  
Author(s):  
John Fountain ◽  
Andrew Lewin
Keyword(s):  
Vector Space ◽  
Finite Rank ◽  
Vector Spaces ◽  
Endomorphism Monoid ◽  
Dimensional Vector ◽  
Finite Sets ◽  
Finite Dimensional ◽  
Special Cases

Products of idempotents are investigated in the endomorphism monoid of an algebra belonging to a class of algebras which includes finite sets and finite dimensional vector spaces as special cases. It is shown that every endomorphism which is not an automorphism is a product of idempotent endomorphisms. This provides a common generalisation of earlier results of Howie and Erdos for the cases when the algebra is a set or vector space respectively.

scholarly journals The Real Vector Spaces of Finite Sequences are Finite Dimensional

2009 ◽  
Vol 17 (1) ◽  
pp. 1-9 ◽  
Author(s):  
Yatsuka Nakamura ◽  
Artur Korniłowicz ◽  
Nagato Oya ◽  
Yasunari Shidama
Keyword(s):  
Vector Spaces ◽  
Real Vector ◽  
The Real ◽  
Finite Dimensional ◽  
Finite Sequences

A closer look at the stable completion

2017 ◽  
Author(s):  
Ehud Hrushovski ◽  
François Loeser
Keyword(s):  
Inverse Limit ◽  
Unit Vector ◽  
Vector Spaces ◽  
Dimensional Vector ◽  
Compact Sets ◽  
Linear Topology ◽  
Topological Embedding ◽  
Definable Set ◽  
Finite Dimensional ◽  
The One

This chapter introduces the concept of stable completion and provides a concrete representation of unit vector Mathematical Double-Struck Capital A superscript n in terms of spaces of semi-lattices, with particular emphasis on the frontier between the definable and the topological categories. It begins by constructing a topological embedding of unit vector Mathematical Double-Struck Capital A superscript n into the inverse limit of a system of spaces of semi-lattices L(Hsubscript d) endowed with the linear topology, where Hsubscript d are finite-dimensional vector spaces. The description is extended to the projective setting. The linear topology is then related to the one induced by the finite level morphism L(Hsubscript d). The chapter also considers the condition that if a definable set in L(Hsubscript d) is an intersection of relatively compact sets, then it is itself relatively compact.

scholarly journals A note on extensions of multilinear maps defined on multilinear varieties

2021 ◽  
pp. 1-26
Author(s):  
W. T. Gowers ◽  
L. Milićević
Keyword(s):  
Finite Fields ◽  
Vector Spaces ◽  
Restriction Map ◽  
Zero Set ◽  
Dimensional Vector ◽  
Prime Field ◽  
Finite Dimensional ◽  
Multilinear Maps ◽  
Multilinear Map

Abstract Let $G_1, \ldots , G_k$ be finite-dimensional vector spaces over a prime field $\mathbb {F}_p$ . A multilinear variety of codimension at most $d$ is a subset of $G_1 \times \cdots \times G_k$ defined as the zero set of $d$ forms, each of which is multilinear on some subset of the coordinates. A map $\phi$ defined on a multilinear variety $B$ is multilinear if for each coordinate $c$ and all choices of $x_i \in G_i$ , $i\not =c$ , the restriction map $y \mapsto \phi (x_1, \ldots , x_{c-1}, y, x_{c+1}, \ldots , x_k)$ is linear where defined. In this note, we show that a multilinear map defined on a multilinear variety of codimension at most $d$ coincides on a multilinear variety of codimension $O_{k}(d^{O_{k}(1)})$ with a multilinear map defined on the whole of $G_1\times \cdots \times G_k$ . Additionally, in the case of general finite fields, we deduce similar (but slightly weaker) results.

Sign in / Sign up

Export Citation Format

Share Document