Any good visualization tools to see certain matrix groups?
$begingroup$
I've been studying differential geometry and algebraic topology for a bit, and something that keeps coming up are the manifolds $GL(n,mathbb R),$ $SL(n,mathbb R)$, $O(n),$ $SO(n),$ etc.
I'm wondering if there are any readily available tools to visualize these manifolds as they exist inside of $mathbb R^{n^2},$ at least for small $n$ (maybe even just $n=2$). Of course, one can get a feeling for what these things look like by studying their topological and geometric properties (homotopy and (co)homology groups, etc.), but I'm interested specifically in how they are embedded into Euclidean space. A Google search returned no results, so I figured I would ask here.
I sort of have in mind a model of $mathbb R^3$ and a slider so one can see $3$-D cross-sections of these manifolds, but really anything helping to visualize them would be great.
soft-question lie-groups smooth-manifolds visualization
asked Jan 17 at 19:40
D. BroganD. Brogan
793513
$endgroup$
add a comment |
$begingroup$
I've been studying differential geometry and algebraic topology for a bit, and something that keeps coming up are the manifolds $GL(n,mathbb R),$ $SL(n,mathbb R)$, $O(n),$ $SO(n),$ etc.
I'm wondering if there are any readily available tools to visualize these manifolds as they exist inside of $mathbb R^{n^2},$ at least for small $n$ (maybe even just $n=2$). Of course, one can get a feeling for what these things look like by studying their topological and geometric properties (homotopy and (co)homology groups, etc.), but I'm interested specifically in how they are embedded into Euclidean space. A Google search returned no results, so I figured I would ask here.
I sort of have in mind a model of $mathbb R^3$ and a slider so one can see $3$-D cross-sections of these manifolds, but really anything helping to visualize them would be great.
soft-question lie-groups smooth-manifolds visualization
asked Jan 17 at 19:40
D. BroganD. Brogan
793513
$endgroup$
$begingroup$
Vizualizing is better studied for equations, like $x^2+z^2=y^3(1-y)^3$, see here. Matrix groups are linear algebraic groups of matrices, perhaps better viewed by mathematical invariants, like dimension, fundamental group, simple, semi simple or reductive etc.
$endgroup$
– Dietrich Burde
Jan 17 at 19:48
2
$begingroup$
Well, $SL( 2)$ is a quadric hypersurface, $GL(2)$ is the complement of a quadric hypersurface, $SO(2)$ is a circle, and $O(2)$ is two disjoint copies of $SO(2)$.
$endgroup$
– Matt Samuel
Jan 17 at 20:12
$begingroup$
Yes, this is all true, but I'm curious about where in $mathbb R^4$ these hypersurfaces and circles lie. Topological descriptions and invariants are exactly what I am trying to avoid when I ask this question.
$endgroup$
– D. Brogan
Jan 17 at 21:07
add a comment |
$begingroup$
I've been studying differential geometry and algebraic topology for a bit, and something that keeps coming up are the manifolds $GL(n,mathbb R),$ $SL(n,mathbb R)$, $O(n),$ $SO(n),$ etc.
I'm wondering if there are any readily available tools to visualize these manifolds as they exist inside of $mathbb R^{n^2},$ at least for small $n$ (maybe even just $n=2$). Of course, one can get a feeling for what these things look like by studying their topological and geometric properties (homotopy and (co)homology groups, etc.), but I'm interested specifically in how they are embedded into Euclidean space. A Google search returned no results, so I figured I would ask here.
I sort of have in mind a model of $mathbb R^3$ and a slider so one can see $3$-D cross-sections of these manifolds, but really anything helping to visualize them would be great.
soft-question lie-groups smooth-manifolds visualization
asked Jan 17 at 19:40
D. BroganD. Brogan
793513
$endgroup$
I've been studying differential geometry and algebraic topology for a bit, and something that keeps coming up are the manifolds $GL(n,mathbb R),$ $SL(n,mathbb R)$, $O(n),$ $SO(n),$ etc.
I'm wondering if there are any readily available tools to visualize these manifolds as they exist inside of $mathbb R^{n^2},$ at least for small $n$ (maybe even just $n=2$). Of course, one can get a feeling for what these things look like by studying their topological and geometric properties (homotopy and (co)homology groups, etc.), but I'm interested specifically in how they are embedded into Euclidean space. A Google search returned no results, so I figured I would ask here.
I sort of have in mind a model of $mathbb R^3$ and a slider so one can see $3$-D cross-sections of these manifolds, but really anything helping to visualize them would be great.
soft-question lie-groups smooth-manifolds visualization
soft-question lie-groups smooth-manifolds visualization
asked Jan 17 at 19:40
D. BroganD. Brogan
793513
asked Jan 17 at 19:40
D. BroganD. Brogan
793513
asked Jan 17 at 19:40
D. BroganD. Brogan
793513
asked Jan 17 at 19:40
D. BroganD. Brogan
793513
asked Jan 17 at 19:40
D. BroganD. Brogan
793513
793513
$begingroup$
Vizualizing is better studied for equations, like $x^2+z^2=y^3(1-y)^3$, see here. Matrix groups are linear algebraic groups of matrices, perhaps better viewed by mathematical invariants, like dimension, fundamental group, simple, semi simple or reductive etc.
$endgroup$
– Dietrich Burde
Jan 17 at 19:48
2
$begingroup$
Well, $SL( 2)$ is a quadric hypersurface, $GL(2)$ is the complement of a quadric hypersurface, $SO(2)$ is a circle, and $O(2)$ is two disjoint copies of $SO(2)$.
$endgroup$
– Matt Samuel
Jan 17 at 20:12
$begingroup$
Yes, this is all true, but I'm curious about where in $mathbb R^4$ these hypersurfaces and circles lie. Topological descriptions and invariants are exactly what I am trying to avoid when I ask this question.
$endgroup$
– D. Brogan
Jan 17 at 21:07
add a comment |
$begingroup$
Vizualizing is better studied for equations, like $x^2+z^2=y^3(1-y)^3$, see here. Matrix groups are linear algebraic groups of matrices, perhaps better viewed by mathematical invariants, like dimension, fundamental group, simple, semi simple or reductive etc.
$endgroup$
– Dietrich Burde
Jan 17 at 19:48
2
$begingroup$
Well, $SL( 2)$ is a quadric hypersurface, $GL(2)$ is the complement of a quadric hypersurface, $SO(2)$ is a circle, and $O(2)$ is two disjoint copies of $SO(2)$.
$endgroup$
– Matt Samuel
Jan 17 at 20:12
$begingroup$
Yes, this is all true, but I'm curious about where in $mathbb R^4$ these hypersurfaces and circles lie. Topological descriptions and invariants are exactly what I am trying to avoid when I ask this question.
$endgroup$
– D. Brogan
Jan 17 at 21:07
$begingroup$
Vizualizing is better studied for equations, like $x^2+z^2=y^3(1-y)^3$, see here. Matrix groups are linear algebraic groups of matrices, perhaps better viewed by mathematical invariants, like dimension, fundamental group, simple, semi simple or reductive etc.
$endgroup$
– Dietrich Burde
Jan 17 at 19:48
$begingroup$
Vizualizing is better studied for equations, like $x^2+z^2=y^3(1-y)^3$, see here. Matrix groups are linear algebraic groups of matrices, perhaps better viewed by mathematical invariants, like dimension, fundamental group, simple, semi simple or reductive etc.
$endgroup$
– Dietrich Burde
Jan 17 at 19:48
2
2
$begingroup$
Well, $SL( 2)$ is a quadric hypersurface, $GL(2)$ is the complement of a quadric hypersurface, $SO(2)$ is a circle, and $O(2)$ is two disjoint copies of $SO(2)$.
$endgroup$
– Matt Samuel
Jan 17 at 20:12
$begingroup$
Well, $SL( 2)$ is a quadric hypersurface, $GL(2)$ is the complement of a quadric hypersurface, $SO(2)$ is a circle, and $O(2)$ is two disjoint copies of $SO(2)$.
$endgroup$
– Matt Samuel
Jan 17 at 20:12
$begingroup$
Yes, this is all true, but I'm curious about where in $mathbb R^4$ these hypersurfaces and circles lie. Topological descriptions and invariants are exactly what I am trying to avoid when I ask this question.
$endgroup$
– D. Brogan
Jan 17 at 21:07
$begingroup$
Yes, this is all true, but I'm curious about where in $mathbb R^4$ these hypersurfaces and circles lie. Topological descriptions and invariants are exactly what I am trying to avoid when I ask this question.
$endgroup$
– D. Brogan
Jan 17 at 21:07
add a comment |
0
active
oldest
votes
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%2f3077419%2fany-good-visualization-tools-to-see-certain-matrix-groups%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3077419%2fany-good-visualization-tools-to-see-certain-matrix-groups%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
$begingroup$
Vizualizing is better studied for equations, like $x^2+z^2=y^3(1-y)^3$, see here. Matrix groups are linear algebraic groups of matrices, perhaps better viewed by mathematical invariants, like dimension, fundamental group, simple, semi simple or reductive etc.
$endgroup$
– Dietrich Burde
Jan 17 at 19:48
2
$begingroup$
Well, $SL( 2)$ is a quadric hypersurface, $GL(2)$ is the complement of a quadric hypersurface, $SO(2)$ is a circle, and $O(2)$ is two disjoint copies of $SO(2)$.
$endgroup$
– Matt Samuel
Jan 17 at 20:12
$begingroup$
Yes, this is all true, but I'm curious about where in $mathbb R^4$ these hypersurfaces and circles lie. Topological descriptions and invariants are exactly what I am trying to avoid when I ask this question.
$endgroup$
– D. Brogan
Jan 17 at 21:07