Statement:
If \(V\) is a vector space with a basis and \(S\) is a linearly independent subset of \(V\) such that no proper extension of \(S\) is a basis for \(V\), then \(S\) is a basis for \(V\).
Howard_Rubin_Number: 236
Parameter(s): This form does not depend on parameters
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Gross-1975: Models with Dimension
Gross-1976: Models with dimension
Book references
Note connections:
| Howard-Rubin Number | Statement | References |
|---|---|---|
| 236 A | If \(V\) is a vector space with a basis, then every linearly independent subset is contained in a basis. |
|