|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| In mathematics, a [[family of sets|family]] <math>\mathcal{F}</math> of [[Set (mathematics)|sets]] is of '''finite character''' provided it has the following properties:
| | Hello and welcome. My title is Irwin and I completely dig that title. I am a meter reader. Years ago we moved to North Dakota. The preferred pastime for my kids and me is to play baseball and I'm trying to make it a occupation.<br><br>Also visit my site ... [http://www.zs-imports.com/blogs/post/70017 home std test kit] |
| #For each <math>A\in \mathcal{F}</math>, every [[finite set|finite]] [[subset]] of <math>A</math> belongs to <math>\mathcal{F}</math>.
| |
| #If every finite subset of a given set <math>A</math> belongs to <math>\mathcal{F}</math>, then <math>A</math> belongs to <math>\mathcal{F}</math>.
| |
| | |
| ==Properties==
| |
| A family <math>\mathcal{F}</math> of sets of finite character enjoys the following properties:
| |
| | |
| #For each <math>A\in \mathcal{F}</math>, every (finite or infinite) [[subset]] of <math>A</math> belongs to <math>\mathcal{F}</math>.
| |
| # [[Tukey's lemma]]: In <math>\mathcal{F}</math>, [[partial order|partially ordered]] by inclusion, the [[Union_(set_theory)|union]] of every [[Total_order#Chains|chain]] of elements of <math>\mathcal{F}</math> also belong to <math>\mathcal{F}</math>, therefore, by [[Zorn_Lemma|Zorn's lemma]], <math>\mathcal{F}</math> contains at least one maximal element.
| |
| | |
| ==Example==
| |
| Let ''V'' be a [[vector space]], and let ''F'' be the family of [[linearly independent]] subsets of ''V''. Then ''F'' is a family of finite character (because a subset ''X'' ⊆ ''V'' is linearly dependent iff ''X'' 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.
| |
| | |
| {{PlanetMath attribution|id=3692|title=finite character}}
| |
| | |
| {{Mathlogic-stub}}
| |
| [[Category:Set families]]
| |
Latest revision as of 15:20, 6 January 2015
Hello and welcome. My title is Irwin and I completely dig that title. I am a meter reader. Years ago we moved to North Dakota. The preferred pastime for my kids and me is to play baseball and I'm trying to make it a occupation.
Also visit my site ... home std test kit