Non-equivalent metrics on $PSL_2(mathbb{R})$
$begingroup$
I am reading a paper on continued fractions and it uses the following result on Lie Groups:
Fix an arbitrary left-invariant metric $d$ on $PSL_2(mathbb{R})$ ...
This phrase really throws me off... How many such left-invariant metrics are there? Consider two maps,
$$ z mapsto frac{a_0z+b_0}{c_0z+d_0} , hspace{0.25in}z mapsto frac{a_1z+b_1}{c_1z+d_1} $$
each with $ad-bc=1$, what is the appropriate notion of distance here?
Can someone illustrate two non-equivalent left-invariant metrics on the space of Fractional Linear Transformations?
If it is easier, I will mysteriously ask for different (non-equivalent) metrics on $T^1(mathbb{H}) simeq PSL_2(mathbb{R})$
These are not points in the Hyperbolic plane, these are geodesics in the hyperbolic plane. In the picture below you can see semi-circles in the checkered pattern below, these can be identified with unit tangent vectors
related
- Expression of the Hyperbolic Distance in the Upper Half Plane
- Description of SU(1, 1)
- What are elements in $SU(1, 1)$?

There's some question of what I mean by "equivalent" "metric" (along the lines of Bill Clinton's what does "is" mean?) I am just trying to see if there are really any "different" left-invariant metrics.
Example of equivalent but not strongly equivalent metrics
Understanding equivalent metric spaces
Left invariant is pretty restrictive. I believe in the case of $mathbb{H}$ hyperbolic plane there is only one translation invariant constant curvature metric up to scalar multiplication (so we can set curvature to -1).
My bst guess for $T^1(mathbb{H})$ is $frac{dx^2 + dy^2}{y^2} + dtheta^2 $ where $theta$ is the angle of the unit tangent vector.
Is the left-invariant metric on $T^1(mathbb{H})=PSL_2(mathbb{R})$ unique up to scalar multiplication ?
lie-groups hyperbolic-geometry
$endgroup$
add a comment |
$begingroup$
I am reading a paper on continued fractions and it uses the following result on Lie Groups:
Fix an arbitrary left-invariant metric $d$ on $PSL_2(mathbb{R})$ ...
This phrase really throws me off... How many such left-invariant metrics are there? Consider two maps,
$$ z mapsto frac{a_0z+b_0}{c_0z+d_0} , hspace{0.25in}z mapsto frac{a_1z+b_1}{c_1z+d_1} $$
each with $ad-bc=1$, what is the appropriate notion of distance here?
Can someone illustrate two non-equivalent left-invariant metrics on the space of Fractional Linear Transformations?
If it is easier, I will mysteriously ask for different (non-equivalent) metrics on $T^1(mathbb{H}) simeq PSL_2(mathbb{R})$
These are not points in the Hyperbolic plane, these are geodesics in the hyperbolic plane. In the picture below you can see semi-circles in the checkered pattern below, these can be identified with unit tangent vectors
related
- Expression of the Hyperbolic Distance in the Upper Half Plane
- Description of SU(1, 1)
- What are elements in $SU(1, 1)$?

There's some question of what I mean by "equivalent" "metric" (along the lines of Bill Clinton's what does "is" mean?) I am just trying to see if there are really any "different" left-invariant metrics.
Example of equivalent but not strongly equivalent metrics
Understanding equivalent metric spaces
Left invariant is pretty restrictive. I believe in the case of $mathbb{H}$ hyperbolic plane there is only one translation invariant constant curvature metric up to scalar multiplication (so we can set curvature to -1).
My bst guess for $T^1(mathbb{H})$ is $frac{dx^2 + dy^2}{y^2} + dtheta^2 $ where $theta$ is the angle of the unit tangent vector.
Is the left-invariant metric on $T^1(mathbb{H})=PSL_2(mathbb{R})$ unique up to scalar multiplication ?
lie-groups hyperbolic-geometry
$endgroup$
$begingroup$
Two questions: what do you mean by "metric," and what do you mean by "equivalent" here?
$endgroup$
– Daniel McLaury
Jan 14 '16 at 23:30
add a comment |
$begingroup$
I am reading a paper on continued fractions and it uses the following result on Lie Groups:
Fix an arbitrary left-invariant metric $d$ on $PSL_2(mathbb{R})$ ...
This phrase really throws me off... How many such left-invariant metrics are there? Consider two maps,
$$ z mapsto frac{a_0z+b_0}{c_0z+d_0} , hspace{0.25in}z mapsto frac{a_1z+b_1}{c_1z+d_1} $$
each with $ad-bc=1$, what is the appropriate notion of distance here?
Can someone illustrate two non-equivalent left-invariant metrics on the space of Fractional Linear Transformations?
If it is easier, I will mysteriously ask for different (non-equivalent) metrics on $T^1(mathbb{H}) simeq PSL_2(mathbb{R})$
These are not points in the Hyperbolic plane, these are geodesics in the hyperbolic plane. In the picture below you can see semi-circles in the checkered pattern below, these can be identified with unit tangent vectors
related
- Expression of the Hyperbolic Distance in the Upper Half Plane
- Description of SU(1, 1)
- What are elements in $SU(1, 1)$?

There's some question of what I mean by "equivalent" "metric" (along the lines of Bill Clinton's what does "is" mean?) I am just trying to see if there are really any "different" left-invariant metrics.
Example of equivalent but not strongly equivalent metrics
Understanding equivalent metric spaces
Left invariant is pretty restrictive. I believe in the case of $mathbb{H}$ hyperbolic plane there is only one translation invariant constant curvature metric up to scalar multiplication (so we can set curvature to -1).
My bst guess for $T^1(mathbb{H})$ is $frac{dx^2 + dy^2}{y^2} + dtheta^2 $ where $theta$ is the angle of the unit tangent vector.
Is the left-invariant metric on $T^1(mathbb{H})=PSL_2(mathbb{R})$ unique up to scalar multiplication ?
lie-groups hyperbolic-geometry
$endgroup$
I am reading a paper on continued fractions and it uses the following result on Lie Groups:
Fix an arbitrary left-invariant metric $d$ on $PSL_2(mathbb{R})$ ...
This phrase really throws me off... How many such left-invariant metrics are there? Consider two maps,
$$ z mapsto frac{a_0z+b_0}{c_0z+d_0} , hspace{0.25in}z mapsto frac{a_1z+b_1}{c_1z+d_1} $$
each with $ad-bc=1$, what is the appropriate notion of distance here?
Can someone illustrate two non-equivalent left-invariant metrics on the space of Fractional Linear Transformations?
If it is easier, I will mysteriously ask for different (non-equivalent) metrics on $T^1(mathbb{H}) simeq PSL_2(mathbb{R})$
These are not points in the Hyperbolic plane, these are geodesics in the hyperbolic plane. In the picture below you can see semi-circles in the checkered pattern below, these can be identified with unit tangent vectors
related
- Expression of the Hyperbolic Distance in the Upper Half Plane
- Description of SU(1, 1)
- What are elements in $SU(1, 1)$?

There's some question of what I mean by "equivalent" "metric" (along the lines of Bill Clinton's what does "is" mean?) I am just trying to see if there are really any "different" left-invariant metrics.
Example of equivalent but not strongly equivalent metrics
Understanding equivalent metric spaces
Left invariant is pretty restrictive. I believe in the case of $mathbb{H}$ hyperbolic plane there is only one translation invariant constant curvature metric up to scalar multiplication (so we can set curvature to -1).
My bst guess for $T^1(mathbb{H})$ is $frac{dx^2 + dy^2}{y^2} + dtheta^2 $ where $theta$ is the angle of the unit tangent vector.
Is the left-invariant metric on $T^1(mathbb{H})=PSL_2(mathbb{R})$ unique up to scalar multiplication ?
lie-groups hyperbolic-geometry
lie-groups hyperbolic-geometry
edited Dec 12 '18 at 21:18
cactus314
asked Jan 14 '16 at 16:48
cactus314cactus314
15.4k42269
15.4k42269
$begingroup$
Two questions: what do you mean by "metric," and what do you mean by "equivalent" here?
$endgroup$
– Daniel McLaury
Jan 14 '16 at 23:30
add a comment |
$begingroup$
Two questions: what do you mean by "metric," and what do you mean by "equivalent" here?
$endgroup$
– Daniel McLaury
Jan 14 '16 at 23:30
$begingroup$
Two questions: what do you mean by "metric," and what do you mean by "equivalent" here?
$endgroup$
– Daniel McLaury
Jan 14 '16 at 23:30
$begingroup$
Two questions: what do you mean by "metric," and what do you mean by "equivalent" here?
$endgroup$
– Daniel McLaury
Jan 14 '16 at 23:30
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
You can multiply any left-invariant metric by a positive number and you will get a different left-invariant metric.
$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
});
}
});
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%2f1612261%2fnon-equivalent-metrics-on-psl-2-mathbbr%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$
You can multiply any left-invariant metric by a positive number and you will get a different left-invariant metric.
$endgroup$
add a comment |
$begingroup$
You can multiply any left-invariant metric by a positive number and you will get a different left-invariant metric.
$endgroup$
add a comment |
$begingroup$
You can multiply any left-invariant metric by a positive number and you will get a different left-invariant metric.
$endgroup$
You can multiply any left-invariant metric by a positive number and you will get a different left-invariant metric.
answered Jan 15 '16 at 15:34
Lee MosherLee Mosher
49.1k33685
49.1k33685
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%2f1612261%2fnon-equivalent-metrics-on-psl-2-mathbbr%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$
Two questions: what do you mean by "metric," and what do you mean by "equivalent" here?
$endgroup$
– Daniel McLaury
Jan 14 '16 at 23:30