In mathematics, a family F }} of sets is of finite character if for each A , A belongs to F }} if and only if every finite subset of A belongs to F }} .
That is,
A family of sets of finite character enjoys the following properties:
Let be a vector space, and let be the family of linearly independent subsets of . Then is a family of finite character (because a subset is linearly dependent if and only if has a finite subset which is linearly dependent). Therefore, in every vector space, there exists a maximal family of linearly independent elements. As a maximal family is a vector basis, every vector space has a (possibly infinite) vector basis.
This article incorporates material from finite character on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.
This article uses material from the Wikipedia English article Finite character, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Content is available under CC BY-SA 4.0 unless otherwise noted. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki English (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.