Skip to search formSkip to main contentSkip to account menu

Steinitz exchange lemma

Known as: Steinitz exchange theorem, Exchange lemma, Exchange theorem 
The Steinitz exchange lemma is a basic theorem in linear algebra used, for example, to show that any two bases for a finite-dimensional vector space… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
Basis (linear algebra)Computational mathematicsMathematical inductionMatroid

Broader (1)

Linear algebra

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Wavetrain Solutions of a Reaction-Diffusion-Advection Model of Mussel-Algae Interaction
We consider a system of coupled partial differential equations modeling the interaction of mussels and algae in advective… 
2017
2017
Alignment-based Translations Across Formal Systems Using Interface Theories
Translating expressions between different logics and theorem provers is notoriously and often prohibitively difficult, due to the… 
2016
2016
The geometric lattice of embedded subsets
This work proposes an alternative approach to the so-called lattice of embedded subsets, which is included in the product of the… 
2011
2011
Introduction and standard notation
HNP (hereditary Noetherian prime) rings are perhaps the only noncommutative Noetherian rings whose projective modules, both… 
2011
2011
Water resource systems' variable fuzzy sets evaluation new method based on the opposites unity and quantity-quality exchange theorem
According to the theory of opposites unity and law of quantity-quality exchange derived from the variable fuzzy sets’ theory. A… 
2006
2006
Eigenvalues of Self-Similar Solutions of the Dafermos Regularization of a System of Conservation Laws via Geometric Singular Perturbation Theory
The Dafermos regularization of a system of n conservation laws in one space dimension admits smooth self-similar solutions of the… 
Review
1998
Review
1998
Representations of Reductive Groups: Weyl groups, affine Weyl groups and reflection groups
This paper is a survey of some of the basic results pertaining to reflection groups. In §2, we start with the basic concepts and… 
1990
1990
Some Highly Undecidable Lattices
1981
1981
A Least Exchange Theorem for the Generalized Timetable Problem
1964
1964
Steinitz' exchange theorem for infinite bases
© Foundation Compositio Mathematica, 1962-1964, tous droits réservés. L’accès aux archives de la revue « Compositio Mathematica… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)