In mathematics, specifically set theory, a dimensional operator on a set E is a function from the subsets of E to the subsets of E.
Definition
If the power set of E is denoted P(E) then a dimensional operator on E is a map
that satisfies the following properties for S,T ∈ P(E):
- S ⊆ d(S);
- d(S) = d(d(S)) (d is idempotent);
- if S ⊆ T then d(S) ⊆ d(T);
- if Ω is the set of finite subsets of S then d(S) = ∪A∈Ωd(A);
- if x ∈ E and y ∈ d(S ∪ {x}) \ d(S), then x ∈ d(S ∪ {y}).
The final property is known as the exchange axiom.[1]
Examples
- For any set E the identity map on P(E) is a dimensional operator.
- The map which takes any subset S of E to E itself is a dimensional operator on E.
References
🔥 Top keywords: Main PageSpecial:SearchPage 3Wikipedia:Featured picturesHouse of the DragonUEFA Euro 2024Bryson DeChambeauJuneteenthInside Out 2Eid al-AdhaCleopatraDeaths in 2024Merrily We Roll Along (musical)Jonathan GroffJude Bellingham.xxx77th Tony AwardsBridgertonGary PlauchéKylian MbappéDaniel RadcliffeUEFA European Championship2024 ICC Men's T20 World CupUnit 731The Boys (TV series)Rory McIlroyN'Golo KantéUEFA Euro 2020YouTubeRomelu LukakuOpinion polling for the 2024 United Kingdom general electionThe Boys season 4Romania national football teamNicola CoughlanStereophonic (play)Gene WilderErin DarkeAntoine GriezmannProject 2025