Smaller neighborhood around the identity of Lie GroupAbout connected Lie GroupsIs $G$ a lie group if left multiplication is smooth and multiplication is smooth near $e$?Map $n(g,h) = gh^-1$ is smooth implies $G$ is a Lie Group.(Whitney) Extension Lemma for smooth mapsImmersed subgroup of a Lie group is a Lie group?Fundamental theorem on flows lee's book 2nd edition$G$ a Lie group, $V, S$ submanifolds of $G$ containing $e$, $psi : V times S rightarrow G$; $psi(v,s)=vs$, then $dpsi(X,0)=X$ and $dpsi(0,Y)=Y$Open neighborhood in Lie groupfactoring a neighborhood of identity in a compact connected Lie group with a closed Lie subgroupJohn Lee : Cubical charts and cube in $mathbbR^n$
Limits and Infinite Integration by Parts
Does an advisor owe his/her student anything? Will an advisor keep a PhD student only out of pity?
Can I visit Japan without a visa?
How do you respond to a colleague from another team when they're wrongly expecting that you'll help them?
Pre-mixing cryogenic fuels and using only one fuel tank
Mixing PEX brands
How to hide some fields of struct in C?
Can a College of Swords bard use a Blade Flourish option on an opportunity attack provoked by their own Dissonant Whispers spell?
What happens if you are holding an Iron Flask with a demon inside and walk into an Antimagic Field?
The probability of Bus A arriving before Bus B
What should you do if you miss a job interview (deliberately)?
Creepy dinosaur pc game identification
Keeping a ball lost forever
How does the math work for Perception checks?
Non-trope happy ending?
How much character growth crosses the line into breaking the character
Can I still be respawned if I die by falling off the map?
Can the US President recognize Israel’s sovereignty over the Golan Heights for the USA or does that need an act of Congress?
Terse Method to Swap Lowest for Highest?
What is the evidence for the "tyranny of the majority problem" in a direct democracy context?
What exact color does ozone gas have?
Are Captain Marvel's powers affected by Thanos' actions in Infinity War
Does malloc reserve more space while allocating memory?
Lowest total scrabble score
Smaller neighborhood around the identity of Lie Group
About connected Lie GroupsIs $G$ a lie group if left multiplication is smooth and multiplication is smooth near $e$?Map $n(g,h) = gh^-1$ is smooth implies $G$ is a Lie Group.(Whitney) Extension Lemma for smooth mapsImmersed subgroup of a Lie group is a Lie group?Fundamental theorem on flows lee's book 2nd edition$G$ a Lie group, $V, S$ submanifolds of $G$ containing $e$, $psi : V times S rightarrow G$; $psi(v,s)=vs$, then $dpsi(X,0)=X$ and $dpsi(0,Y)=Y$Open neighborhood in Lie groupfactoring a neighborhood of identity in a compact connected Lie group with a closed Lie subgroupJohn Lee : Cubical charts and cube in $mathbbR^n$
$begingroup$
This is the problem 7-6 of Lee's Introduction to Smooth Manifolds (2nd edition):
Suppose G is a Lie group and U is any neighborhood of the identity. Show
that there exists a neighborhood V of the identity such that $V subset U$ and $gh^-1 in U$ whenever $g, h in V$.
How do I approach this problem? I tried using the smoothness of $(g,h) mapsto gh^-1$ or the open subgroup generated by $U$, but it didn't get me anywhere.
differential-geometry manifolds lie-groups smooth-manifolds
edited Mar 19 at 7:51
Sou
3,2892923
asked Mar 19 at 4:40
o zo z
132
New contributor
o z is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
$endgroup$
add a comment |
$begingroup$
This is the problem 7-6 of Lee's Introduction to Smooth Manifolds (2nd edition):
Suppose G is a Lie group and U is any neighborhood of the identity. Show
that there exists a neighborhood V of the identity such that $V subset U$ and $gh^-1 in U$ whenever $g, h in V$.
How do I approach this problem? I tried using the smoothness of $(g,h) mapsto gh^-1$ or the open subgroup generated by $U$, but it didn't get me anywhere.
differential-geometry manifolds lie-groups smooth-manifolds
edited Mar 19 at 7:51
Sou
3,2892923
asked Mar 19 at 4:40
o zo z
132
New contributor
o z is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
$endgroup$
add a comment |
$begingroup$
This is the problem 7-6 of Lee's Introduction to Smooth Manifolds (2nd edition):
Suppose G is a Lie group and U is any neighborhood of the identity. Show
that there exists a neighborhood V of the identity such that $V subset U$ and $gh^-1 in U$ whenever $g, h in V$.
How do I approach this problem? I tried using the smoothness of $(g,h) mapsto gh^-1$ or the open subgroup generated by $U$, but it didn't get me anywhere.
differential-geometry manifolds lie-groups smooth-manifolds
edited Mar 19 at 7:51
Sou
3,2892923
asked Mar 19 at 4:40
o zo z
132
New contributor
o z is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
$endgroup$
This is the problem 7-6 of Lee's Introduction to Smooth Manifolds (2nd edition):
Suppose G is a Lie group and U is any neighborhood of the identity. Show
that there exists a neighborhood V of the identity such that $V subset U$ and $gh^-1 in U$ whenever $g, h in V$.
How do I approach this problem? I tried using the smoothness of $(g,h) mapsto gh^-1$ or the open subgroup generated by $U$, but it didn't get me anywhere.
differential-geometry manifolds lie-groups smooth-manifolds
differential-geometry manifolds lie-groups smooth-manifolds
edited Mar 19 at 7:51
Sou
3,2892923
asked Mar 19 at 4:40
o zo z
132
New contributor
o z is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
edited Mar 19 at 7:51
Sou
3,2892923
asked Mar 19 at 4:40
o zo z
132
New contributor
o z is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
edited Mar 19 at 7:51
Sou
3,2892923
edited Mar 19 at 7:51
Sou
3,2892923
edited Mar 19 at 7:51
Sou
3,2892923
3,2892923
asked Mar 19 at 4:40
o zo z
132
New contributor
o z is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
asked Mar 19 at 4:40
o zo z
132
asked Mar 19 at 4:40
o zo z
132
132
New contributor
o z is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
New contributor
o z is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
o z is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
The map $f : G times G to G$ defined as $f(g,h) = gh^-1$ is a smooth map. Suppose $U$ is a neighbourhood of the identity $ein G$. By continuity, $W = f^-1(U)$ is open in $G times G$. Since $(e,e) in W$, there are neighbourhoods $W_1,W_2 subseteq G$ containing $ein G$ such that $W_1times W_2 subseteq W$. Choose $V$ as
$$V = (W_1 cap W_2) cap U$$
So $V times V subseteq W=f^-1(U)$ implies $f(V times V) subseteq U$. I.e., $forall g,h in V$, we have $f(g,h)=gh^-1 in U$.
answered Mar 19 at 7:47
SouSou
3,2892923
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");
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
);
);
o z is a new contributor. Be nice, and check out our Code of Conduct.
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%2f3153692%2fsmaller-neighborhood-around-the-identity-of-lie-group%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The map $f : G times G to G$ defined as $f(g,h) = gh^-1$ is a smooth map. Suppose $U$ is a neighbourhood of the identity $ein G$. By continuity, $W = f^-1(U)$ is open in $G times G$. Since $(e,e) in W$, there are neighbourhoods $W_1,W_2 subseteq G$ containing $ein G$ such that $W_1times W_2 subseteq W$. Choose $V$ as
$$V = (W_1 cap W_2) cap U$$
So $V times V subseteq W=f^-1(U)$ implies $f(V times V) subseteq U$. I.e., $forall g,h in V$, we have $f(g,h)=gh^-1 in U$.
answered Mar 19 at 7:47
SouSou
3,2892923
$endgroup$
add a comment |
$begingroup$
The map $f : G times G to G$ defined as $f(g,h) = gh^-1$ is a smooth map. Suppose $U$ is a neighbourhood of the identity $ein G$. By continuity, $W = f^-1(U)$ is open in $G times G$. Since $(e,e) in W$, there are neighbourhoods $W_1,W_2 subseteq G$ containing $ein G$ such that $W_1times W_2 subseteq W$. Choose $V$ as
$$V = (W_1 cap W_2) cap U$$
So $V times V subseteq W=f^-1(U)$ implies $f(V times V) subseteq U$. I.e., $forall g,h in V$, we have $f(g,h)=gh^-1 in U$.
answered Mar 19 at 7:47
SouSou
3,2892923
$endgroup$
add a comment |
$begingroup$
The map $f : G times G to G$ defined as $f(g,h) = gh^-1$ is a smooth map. Suppose $U$ is a neighbourhood of the identity $ein G$. By continuity, $W = f^-1(U)$ is open in $G times G$. Since $(e,e) in W$, there are neighbourhoods $W_1,W_2 subseteq G$ containing $ein G$ such that $W_1times W_2 subseteq W$. Choose $V$ as
$$V = (W_1 cap W_2) cap U$$
So $V times V subseteq W=f^-1(U)$ implies $f(V times V) subseteq U$. I.e., $forall g,h in V$, we have $f(g,h)=gh^-1 in U$.
answered Mar 19 at 7:47
SouSou
3,2892923
$endgroup$
The map $f : G times G to G$ defined as $f(g,h) = gh^-1$ is a smooth map. Suppose $U$ is a neighbourhood of the identity $ein G$. By continuity, $W = f^-1(U)$ is open in $G times G$. Since $(e,e) in W$, there are neighbourhoods $W_1,W_2 subseteq G$ containing $ein G$ such that $W_1times W_2 subseteq W$. Choose $V$ as
$$V = (W_1 cap W_2) cap U$$
So $V times V subseteq W=f^-1(U)$ implies $f(V times V) subseteq U$. I.e., $forall g,h in V$, we have $f(g,h)=gh^-1 in U$.
answered Mar 19 at 7:47
SouSou
3,2892923
edited Mar 19 at 14:07
answered Mar 19 at 7:47
SouSou
3,2892923
answered Mar 19 at 7:47
SouSou
3,2892923
answered Mar 19 at 7:47
SouSou
3,2892923
3,2892923
add a comment |
add a comment |
o z is a new contributor. Be nice, and check out our Code of Conduct.
o z is a new contributor. Be nice, and check out our Code of Conduct.
o z is a new contributor. Be nice, and check out our Code of Conduct.
o z is a new contributor. Be nice, and check out our Code of Conduct.
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%2f3153692%2fsmaller-neighborhood-around-the-identity-of-lie-group%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
