What are the 'spaces' whose structure is defined by a collection of subsets Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Why are convex sets assumed / defined to be subsets of vector spaces (and not of more general spaces)?Mathematical structuresIs there a formal notion of equivalence between structures with potentially different signatures?A pedantic question about defining new structures in a path-independent way.Why are topological spaces interesting to study?Why are empty measurable spaces and empty topological spaces not desirable?Neighborhood Topology and Open Set Topology: their Equivalence and ComparisonWhy does topology rarely come up outside of topology?Algebraic structure of the extended real line $overlineBbb R$.Are topoi like topological spaces or like set theory?
How to find all the available tools in macOS terminal?
Can Pao de Queijo, and similar foods, be kosher for Passover?
List *all* the tuples!
Letter Boxed validator
How to bypass password on Windows XP account?
Did Xerox really develop the first LAN?
Is the Standard Deduction better than Itemized when both are the same amount?
Output the ŋarâþ crîþ alphabet song without using (m)any letters
Does accepting a pardon have any bearing on trying that person for the same crime in a sovereign jurisdiction?
How to recreate this effect in Photoshop?
Can a non-EU citizen traveling with me come with me through the EU passport line?
Is there a service that would inform me whenever a new direct route is scheduled from a given airport?
Are my PIs rude or am I just being too sensitive?
Why is "Consequences inflicted." not a sentence?
Storing hydrofluoric acid before the invention of plastics
Is there a concise way to say "all of the X, one of each"?
Why is "Captain Marvel" translated as male in Portugal?
Why was the term "discrete" used in discrete logarithm?
Right-skewed distribution with mean equals to mode?
Is 1 ppb equal to 1 μg/kg?
Is a manifold-with-boundary with given interior and non-empty boundary essentially unique?
Java 8 stream max() function argument type Comparator vs Comparable
Stars Make Stars
Did Kevin spill real chili?
What are the 'spaces' whose structure is defined by a collection of subsets
Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Why are convex sets assumed / defined to be subsets of vector spaces (and not of more general spaces)?Mathematical structuresIs there a formal notion of equivalence between structures with potentially different signatures?A pedantic question about defining new structures in a path-independent way.Why are topological spaces interesting to study?Why are empty measurable spaces and empty topological spaces not desirable?Neighborhood Topology and Open Set Topology: their Equivalence and ComparisonWhy does topology rarely come up outside of topology?Algebraic structure of the extended real line $overlineBbb R$.Are topoi like topological spaces or like set theory?
$begingroup$
I am trying to recount which 'space' structures are defined by a collection of subsets. Given a set $X$ the only two structures I know are:
(1) $mathcalTsubseteq mathcalP(X)$ is a topology on $X$, and $(X,mathcalT)$ is a topological space.
(2) $mathcalFsubseteq mathcalP(X)$ is a $sigma$-algebra on $X$, and $(X,mathcalF)$ is a measurable space.
Are there any more such famous structures given by a collection of subsets?
soft-question recreational-mathematics
$endgroup$
add a comment |
$begingroup$
I am trying to recount which 'space' structures are defined by a collection of subsets. Given a set $X$ the only two structures I know are:
(1) $mathcalTsubseteq mathcalP(X)$ is a topology on $X$, and $(X,mathcalT)$ is a topological space.
(2) $mathcalFsubseteq mathcalP(X)$ is a $sigma$-algebra on $X$, and $(X,mathcalF)$ is a measurable space.
Are there any more such famous structures given by a collection of subsets?
soft-question recreational-mathematics
$endgroup$
add a comment |
$begingroup$
I am trying to recount which 'space' structures are defined by a collection of subsets. Given a set $X$ the only two structures I know are:
(1) $mathcalTsubseteq mathcalP(X)$ is a topology on $X$, and $(X,mathcalT)$ is a topological space.
(2) $mathcalFsubseteq mathcalP(X)$ is a $sigma$-algebra on $X$, and $(X,mathcalF)$ is a measurable space.
Are there any more such famous structures given by a collection of subsets?
soft-question recreational-mathematics
$endgroup$
I am trying to recount which 'space' structures are defined by a collection of subsets. Given a set $X$ the only two structures I know are:
(1) $mathcalTsubseteq mathcalP(X)$ is a topology on $X$, and $(X,mathcalT)$ is a topological space.
(2) $mathcalFsubseteq mathcalP(X)$ is a $sigma$-algebra on $X$, and $(X,mathcalF)$ is a measurable space.
Are there any more such famous structures given by a collection of subsets?
soft-question recreational-mathematics
soft-question recreational-mathematics
asked Mar 26 at 8:05
Keen-ameteurKeen-ameteur
1,550516
1,550516
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
In measure theory there are often technical such structures (semi-algebra/algebra on a set $X$, $pi$-system, $lambda$-system) that are used in the development of the theory, but are rarely studied independently, so I'll ignore them...
A bornological space ("bounded sets") is another one occurring in analysis.
A more geometric one is abstract convexity structures (where we have an axiomatisation of convex sets, but there are also metric convexities, order convexities etc. see the standard reference book by van de Vel for much more info. These are closed under arbitary intersections, contain $emptyset$ and $X$, and are closed under all up-directed unions, to summarise the axioms. It's very much in the spirit of topology (separation axioms etc.), IMHO it's a nice theory that deserves more attention.
Stretching it a bit, (undirected) graphs are sets with special "doubleton sets" (the edges), but these have no special axioms. One can generalise to multigraphs and incidence structures and matroids (the "independent" subsets). The last one are a proper example in your sense, I think.
Maybe others can come up with more than bornological spaces, convexity structures and matroids.
$endgroup$
$begingroup$
Thank for your extensive answer. Do these objects also give rise to the term of generated structure, as in minimal such sturctures containing a given collection? For example generated topology, or generated $sigma$-algebra.
$endgroup$
– Keen-ameteur
Mar 26 at 10:19
2
$begingroup$
@Keen-ameteur often they do, I'm not too familiar with most of them. Such induced structures are very common in categorial topology, so in closure spaces, uniform spaces, convergence spaces, nearness spaces, proximity spaces etc etc. They almost all have such notions like initial and final structures induced by maps.
$endgroup$
– Henno Brandsma
Mar 26 at 10:23
add a comment |
$begingroup$
The most important "space-like" structure defined on subsets in the realm of combinatorial commutative algebra is the (abstract) simplicial complex. These correspond in a natural way to square-free monomial ideals. This correspondence unleashes a bevy of tools from commutative algebra to study the combinatorics of simplicial complexes and vice versa.
As hinted at by @Henno, matroids form a particular family of simplicial complexes (via their independent sets). Greedoids are a generalization of matroids that are "spaces" defined on power sets of a given (finite) set that behave well with respect to the greedy algorithm. One class of greedoids are the antimatroids which are complementary combinatorial objects to convex geometries.
What all of these examples have in common is that they are combinatorial abstractions of some classically studied structure usually embedded in some (typically Euclidean) geometry. Simplicial complexes are abstractions of triangulated topological spaces; matroids capture all of the (linear) dependencies between vectors in a given finite subset of a vector space; convex geometries generalize shellings of polytopes.
$endgroup$
add a comment |
Your Answer
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3162874%2fwhat-are-the-spaces-whose-structure-is-defined-by-a-collection-of-subsets%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
In measure theory there are often technical such structures (semi-algebra/algebra on a set $X$, $pi$-system, $lambda$-system) that are used in the development of the theory, but are rarely studied independently, so I'll ignore them...
A bornological space ("bounded sets") is another one occurring in analysis.
A more geometric one is abstract convexity structures (where we have an axiomatisation of convex sets, but there are also metric convexities, order convexities etc. see the standard reference book by van de Vel for much more info. These are closed under arbitary intersections, contain $emptyset$ and $X$, and are closed under all up-directed unions, to summarise the axioms. It's very much in the spirit of topology (separation axioms etc.), IMHO it's a nice theory that deserves more attention.
Stretching it a bit, (undirected) graphs are sets with special "doubleton sets" (the edges), but these have no special axioms. One can generalise to multigraphs and incidence structures and matroids (the "independent" subsets). The last one are a proper example in your sense, I think.
Maybe others can come up with more than bornological spaces, convexity structures and matroids.
$endgroup$
$begingroup$
Thank for your extensive answer. Do these objects also give rise to the term of generated structure, as in minimal such sturctures containing a given collection? For example generated topology, or generated $sigma$-algebra.
$endgroup$
– Keen-ameteur
Mar 26 at 10:19
2
$begingroup$
@Keen-ameteur often they do, I'm not too familiar with most of them. Such induced structures are very common in categorial topology, so in closure spaces, uniform spaces, convergence spaces, nearness spaces, proximity spaces etc etc. They almost all have such notions like initial and final structures induced by maps.
$endgroup$
– Henno Brandsma
Mar 26 at 10:23
add a comment |
$begingroup$
In measure theory there are often technical such structures (semi-algebra/algebra on a set $X$, $pi$-system, $lambda$-system) that are used in the development of the theory, but are rarely studied independently, so I'll ignore them...
A bornological space ("bounded sets") is another one occurring in analysis.
A more geometric one is abstract convexity structures (where we have an axiomatisation of convex sets, but there are also metric convexities, order convexities etc. see the standard reference book by van de Vel for much more info. These are closed under arbitary intersections, contain $emptyset$ and $X$, and are closed under all up-directed unions, to summarise the axioms. It's very much in the spirit of topology (separation axioms etc.), IMHO it's a nice theory that deserves more attention.
Stretching it a bit, (undirected) graphs are sets with special "doubleton sets" (the edges), but these have no special axioms. One can generalise to multigraphs and incidence structures and matroids (the "independent" subsets). The last one are a proper example in your sense, I think.
Maybe others can come up with more than bornological spaces, convexity structures and matroids.
$endgroup$
$begingroup$
Thank for your extensive answer. Do these objects also give rise to the term of generated structure, as in minimal such sturctures containing a given collection? For example generated topology, or generated $sigma$-algebra.
$endgroup$
– Keen-ameteur
Mar 26 at 10:19
2
$begingroup$
@Keen-ameteur often they do, I'm not too familiar with most of them. Such induced structures are very common in categorial topology, so in closure spaces, uniform spaces, convergence spaces, nearness spaces, proximity spaces etc etc. They almost all have such notions like initial and final structures induced by maps.
$endgroup$
– Henno Brandsma
Mar 26 at 10:23
add a comment |
$begingroup$
In measure theory there are often technical such structures (semi-algebra/algebra on a set $X$, $pi$-system, $lambda$-system) that are used in the development of the theory, but are rarely studied independently, so I'll ignore them...
A bornological space ("bounded sets") is another one occurring in analysis.
A more geometric one is abstract convexity structures (where we have an axiomatisation of convex sets, but there are also metric convexities, order convexities etc. see the standard reference book by van de Vel for much more info. These are closed under arbitary intersections, contain $emptyset$ and $X$, and are closed under all up-directed unions, to summarise the axioms. It's very much in the spirit of topology (separation axioms etc.), IMHO it's a nice theory that deserves more attention.
Stretching it a bit, (undirected) graphs are sets with special "doubleton sets" (the edges), but these have no special axioms. One can generalise to multigraphs and incidence structures and matroids (the "independent" subsets). The last one are a proper example in your sense, I think.
Maybe others can come up with more than bornological spaces, convexity structures and matroids.
$endgroup$
In measure theory there are often technical such structures (semi-algebra/algebra on a set $X$, $pi$-system, $lambda$-system) that are used in the development of the theory, but are rarely studied independently, so I'll ignore them...
A bornological space ("bounded sets") is another one occurring in analysis.
A more geometric one is abstract convexity structures (where we have an axiomatisation of convex sets, but there are also metric convexities, order convexities etc. see the standard reference book by van de Vel for much more info. These are closed under arbitary intersections, contain $emptyset$ and $X$, and are closed under all up-directed unions, to summarise the axioms. It's very much in the spirit of topology (separation axioms etc.), IMHO it's a nice theory that deserves more attention.
Stretching it a bit, (undirected) graphs are sets with special "doubleton sets" (the edges), but these have no special axioms. One can generalise to multigraphs and incidence structures and matroids (the "independent" subsets). The last one are a proper example in your sense, I think.
Maybe others can come up with more than bornological spaces, convexity structures and matroids.
answered Mar 26 at 9:44
Henno BrandsmaHenno Brandsma
116k349127
116k349127
$begingroup$
Thank for your extensive answer. Do these objects also give rise to the term of generated structure, as in minimal such sturctures containing a given collection? For example generated topology, or generated $sigma$-algebra.
$endgroup$
– Keen-ameteur
Mar 26 at 10:19
2
$begingroup$
@Keen-ameteur often they do, I'm not too familiar with most of them. Such induced structures are very common in categorial topology, so in closure spaces, uniform spaces, convergence spaces, nearness spaces, proximity spaces etc etc. They almost all have such notions like initial and final structures induced by maps.
$endgroup$
– Henno Brandsma
Mar 26 at 10:23
add a comment |
$begingroup$
Thank for your extensive answer. Do these objects also give rise to the term of generated structure, as in minimal such sturctures containing a given collection? For example generated topology, or generated $sigma$-algebra.
$endgroup$
– Keen-ameteur
Mar 26 at 10:19
2
$begingroup$
@Keen-ameteur often they do, I'm not too familiar with most of them. Such induced structures are very common in categorial topology, so in closure spaces, uniform spaces, convergence spaces, nearness spaces, proximity spaces etc etc. They almost all have such notions like initial and final structures induced by maps.
$endgroup$
– Henno Brandsma
Mar 26 at 10:23
$begingroup$
Thank for your extensive answer. Do these objects also give rise to the term of generated structure, as in minimal such sturctures containing a given collection? For example generated topology, or generated $sigma$-algebra.
$endgroup$
– Keen-ameteur
Mar 26 at 10:19
$begingroup$
Thank for your extensive answer. Do these objects also give rise to the term of generated structure, as in minimal such sturctures containing a given collection? For example generated topology, or generated $sigma$-algebra.
$endgroup$
– Keen-ameteur
Mar 26 at 10:19
2
2
$begingroup$
@Keen-ameteur often they do, I'm not too familiar with most of them. Such induced structures are very common in categorial topology, so in closure spaces, uniform spaces, convergence spaces, nearness spaces, proximity spaces etc etc. They almost all have such notions like initial and final structures induced by maps.
$endgroup$
– Henno Brandsma
Mar 26 at 10:23
$begingroup$
@Keen-ameteur often they do, I'm not too familiar with most of them. Such induced structures are very common in categorial topology, so in closure spaces, uniform spaces, convergence spaces, nearness spaces, proximity spaces etc etc. They almost all have such notions like initial and final structures induced by maps.
$endgroup$
– Henno Brandsma
Mar 26 at 10:23
add a comment |
$begingroup$
The most important "space-like" structure defined on subsets in the realm of combinatorial commutative algebra is the (abstract) simplicial complex. These correspond in a natural way to square-free monomial ideals. This correspondence unleashes a bevy of tools from commutative algebra to study the combinatorics of simplicial complexes and vice versa.
As hinted at by @Henno, matroids form a particular family of simplicial complexes (via their independent sets). Greedoids are a generalization of matroids that are "spaces" defined on power sets of a given (finite) set that behave well with respect to the greedy algorithm. One class of greedoids are the antimatroids which are complementary combinatorial objects to convex geometries.
What all of these examples have in common is that they are combinatorial abstractions of some classically studied structure usually embedded in some (typically Euclidean) geometry. Simplicial complexes are abstractions of triangulated topological spaces; matroids capture all of the (linear) dependencies between vectors in a given finite subset of a vector space; convex geometries generalize shellings of polytopes.
$endgroup$
add a comment |
$begingroup$
The most important "space-like" structure defined on subsets in the realm of combinatorial commutative algebra is the (abstract) simplicial complex. These correspond in a natural way to square-free monomial ideals. This correspondence unleashes a bevy of tools from commutative algebra to study the combinatorics of simplicial complexes and vice versa.
As hinted at by @Henno, matroids form a particular family of simplicial complexes (via their independent sets). Greedoids are a generalization of matroids that are "spaces" defined on power sets of a given (finite) set that behave well with respect to the greedy algorithm. One class of greedoids are the antimatroids which are complementary combinatorial objects to convex geometries.
What all of these examples have in common is that they are combinatorial abstractions of some classically studied structure usually embedded in some (typically Euclidean) geometry. Simplicial complexes are abstractions of triangulated topological spaces; matroids capture all of the (linear) dependencies between vectors in a given finite subset of a vector space; convex geometries generalize shellings of polytopes.
$endgroup$
add a comment |
$begingroup$
The most important "space-like" structure defined on subsets in the realm of combinatorial commutative algebra is the (abstract) simplicial complex. These correspond in a natural way to square-free monomial ideals. This correspondence unleashes a bevy of tools from commutative algebra to study the combinatorics of simplicial complexes and vice versa.
As hinted at by @Henno, matroids form a particular family of simplicial complexes (via their independent sets). Greedoids are a generalization of matroids that are "spaces" defined on power sets of a given (finite) set that behave well with respect to the greedy algorithm. One class of greedoids are the antimatroids which are complementary combinatorial objects to convex geometries.
What all of these examples have in common is that they are combinatorial abstractions of some classically studied structure usually embedded in some (typically Euclidean) geometry. Simplicial complexes are abstractions of triangulated topological spaces; matroids capture all of the (linear) dependencies between vectors in a given finite subset of a vector space; convex geometries generalize shellings of polytopes.
$endgroup$
The most important "space-like" structure defined on subsets in the realm of combinatorial commutative algebra is the (abstract) simplicial complex. These correspond in a natural way to square-free monomial ideals. This correspondence unleashes a bevy of tools from commutative algebra to study the combinatorics of simplicial complexes and vice versa.
As hinted at by @Henno, matroids form a particular family of simplicial complexes (via their independent sets). Greedoids are a generalization of matroids that are "spaces" defined on power sets of a given (finite) set that behave well with respect to the greedy algorithm. One class of greedoids are the antimatroids which are complementary combinatorial objects to convex geometries.
What all of these examples have in common is that they are combinatorial abstractions of some classically studied structure usually embedded in some (typically Euclidean) geometry. Simplicial complexes are abstractions of triangulated topological spaces; matroids capture all of the (linear) dependencies between vectors in a given finite subset of a vector space; convex geometries generalize shellings of polytopes.
answered Mar 28 at 20:34
Aaron DallAaron Dall
586416
586416
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3162874%2fwhat-are-the-spaces-whose-structure-is-defined-by-a-collection-of-subsets%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown