What does $mathbb{R}^E_{gt 0}$ stand for?
$begingroup$
I was studying an article where I encountered $mathbb{R}^E_{gt 0}$. I couldn't find out what does this notation mean exactly.
I'm sorry if my question is basic, I searched this community but I didn't find the answer to my question.
Here is a part of that article:
Given an undirected graph $G=(V, E)$ with positive edge lengths $linmathbb{R}^E_{gt 0}$ on which one desires to compute the shortest path from a vertex $s$ to $t$, ...
notation
$endgroup$
add a comment |
$begingroup$
I was studying an article where I encountered $mathbb{R}^E_{gt 0}$. I couldn't find out what does this notation mean exactly.
I'm sorry if my question is basic, I searched this community but I didn't find the answer to my question.
Here is a part of that article:
Given an undirected graph $G=(V, E)$ with positive edge lengths $linmathbb{R}^E_{gt 0}$ on which one desires to compute the shortest path from a vertex $s$ to $t$, ...
notation
$endgroup$
add a comment |
$begingroup$
I was studying an article where I encountered $mathbb{R}^E_{gt 0}$. I couldn't find out what does this notation mean exactly.
I'm sorry if my question is basic, I searched this community but I didn't find the answer to my question.
Here is a part of that article:
Given an undirected graph $G=(V, E)$ with positive edge lengths $linmathbb{R}^E_{gt 0}$ on which one desires to compute the shortest path from a vertex $s$ to $t$, ...
notation
$endgroup$
I was studying an article where I encountered $mathbb{R}^E_{gt 0}$. I couldn't find out what does this notation mean exactly.
I'm sorry if my question is basic, I searched this community but I didn't find the answer to my question.
Here is a part of that article:
Given an undirected graph $G=(V, E)$ with positive edge lengths $linmathbb{R}^E_{gt 0}$ on which one desires to compute the shortest path from a vertex $s$ to $t$, ...
notation
notation
asked Dec 4 '18 at 20:16
0100011001000110
607
607
add a comment |
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
The short answer: This is just a terse way of saying that the length $l(e)$ of each edge $e$ is a nonnegative real number i.e., $l(e) in mathbb{R}_{ge 0}$. If you are satisfied with this then you can stop reading here.
A longer answer: Note that, in general, a function $f: A mapsto B$ can be thought of as a vector $f in B^A$, where for each $a in A$, the $a$-th coordinate of $f$ is $f(a)$, which is in $B$.
Here $l$ can be thought of as a function $l: E mapsto mathbb{R}_{geq 0}$ and thus a vector in $mathbb{R}^E_{ge 0}$, where for each $e in E$, the $e$-th coordinate of $l$ is $l(e)$, which is in $mathbb{R}_{ge 0}$.
$endgroup$
add a comment |
$begingroup$
$X^Y$ is the usual notation for the set of functions $Yto X$. With $X=mathbb{R}_{>0}$ the positive reals and $Y=E$ the edges, $linmathbb{R}_{>0}^E$ is just a function associating to each edge $ein E$ a positive real number $l(e)$, its length.
$endgroup$
add a comment |
$begingroup$
The notation $Bbb R_{>0}^E$ usually means the set of functions from $E$ to $Bbb R_{>0}$, and $Bbb R_{>0}:=(0,infty)$.
However in the cited text it is not so clear what it means. If the edges are numbered then it is possible to interpret $EsubsetBbb N$, and then $linBbb R_{>0}^E$ is a function that assign to each $kin E$ it length $l(k)in (0,infty)$.
Where this text comes? Can you give a link to the article?
$endgroup$
$begingroup$
Here is the link to the article ;)
$endgroup$
– 01000110
Dec 4 '18 at 20:36
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%2f3026097%2fwhat-does-mathbbre-gt-0-stand-for%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The short answer: This is just a terse way of saying that the length $l(e)$ of each edge $e$ is a nonnegative real number i.e., $l(e) in mathbb{R}_{ge 0}$. If you are satisfied with this then you can stop reading here.
A longer answer: Note that, in general, a function $f: A mapsto B$ can be thought of as a vector $f in B^A$, where for each $a in A$, the $a$-th coordinate of $f$ is $f(a)$, which is in $B$.
Here $l$ can be thought of as a function $l: E mapsto mathbb{R}_{geq 0}$ and thus a vector in $mathbb{R}^E_{ge 0}$, where for each $e in E$, the $e$-th coordinate of $l$ is $l(e)$, which is in $mathbb{R}_{ge 0}$.
$endgroup$
add a comment |
$begingroup$
The short answer: This is just a terse way of saying that the length $l(e)$ of each edge $e$ is a nonnegative real number i.e., $l(e) in mathbb{R}_{ge 0}$. If you are satisfied with this then you can stop reading here.
A longer answer: Note that, in general, a function $f: A mapsto B$ can be thought of as a vector $f in B^A$, where for each $a in A$, the $a$-th coordinate of $f$ is $f(a)$, which is in $B$.
Here $l$ can be thought of as a function $l: E mapsto mathbb{R}_{geq 0}$ and thus a vector in $mathbb{R}^E_{ge 0}$, where for each $e in E$, the $e$-th coordinate of $l$ is $l(e)$, which is in $mathbb{R}_{ge 0}$.
$endgroup$
add a comment |
$begingroup$
The short answer: This is just a terse way of saying that the length $l(e)$ of each edge $e$ is a nonnegative real number i.e., $l(e) in mathbb{R}_{ge 0}$. If you are satisfied with this then you can stop reading here.
A longer answer: Note that, in general, a function $f: A mapsto B$ can be thought of as a vector $f in B^A$, where for each $a in A$, the $a$-th coordinate of $f$ is $f(a)$, which is in $B$.
Here $l$ can be thought of as a function $l: E mapsto mathbb{R}_{geq 0}$ and thus a vector in $mathbb{R}^E_{ge 0}$, where for each $e in E$, the $e$-th coordinate of $l$ is $l(e)$, which is in $mathbb{R}_{ge 0}$.
$endgroup$
The short answer: This is just a terse way of saying that the length $l(e)$ of each edge $e$ is a nonnegative real number i.e., $l(e) in mathbb{R}_{ge 0}$. If you are satisfied with this then you can stop reading here.
A longer answer: Note that, in general, a function $f: A mapsto B$ can be thought of as a vector $f in B^A$, where for each $a in A$, the $a$-th coordinate of $f$ is $f(a)$, which is in $B$.
Here $l$ can be thought of as a function $l: E mapsto mathbb{R}_{geq 0}$ and thus a vector in $mathbb{R}^E_{ge 0}$, where for each $e in E$, the $e$-th coordinate of $l$ is $l(e)$, which is in $mathbb{R}_{ge 0}$.
edited Dec 4 '18 at 22:04
answered Dec 4 '18 at 20:22
MikeMike
3,507411
3,507411
add a comment |
add a comment |
$begingroup$
$X^Y$ is the usual notation for the set of functions $Yto X$. With $X=mathbb{R}_{>0}$ the positive reals and $Y=E$ the edges, $linmathbb{R}_{>0}^E$ is just a function associating to each edge $ein E$ a positive real number $l(e)$, its length.
$endgroup$
add a comment |
$begingroup$
$X^Y$ is the usual notation for the set of functions $Yto X$. With $X=mathbb{R}_{>0}$ the positive reals and $Y=E$ the edges, $linmathbb{R}_{>0}^E$ is just a function associating to each edge $ein E$ a positive real number $l(e)$, its length.
$endgroup$
add a comment |
$begingroup$
$X^Y$ is the usual notation for the set of functions $Yto X$. With $X=mathbb{R}_{>0}$ the positive reals and $Y=E$ the edges, $linmathbb{R}_{>0}^E$ is just a function associating to each edge $ein E$ a positive real number $l(e)$, its length.
$endgroup$
$X^Y$ is the usual notation for the set of functions $Yto X$. With $X=mathbb{R}_{>0}$ the positive reals and $Y=E$ the edges, $linmathbb{R}_{>0}^E$ is just a function associating to each edge $ein E$ a positive real number $l(e)$, its length.
answered Dec 4 '18 at 20:21
user10354138user10354138
7,3772925
7,3772925
add a comment |
add a comment |
$begingroup$
The notation $Bbb R_{>0}^E$ usually means the set of functions from $E$ to $Bbb R_{>0}$, and $Bbb R_{>0}:=(0,infty)$.
However in the cited text it is not so clear what it means. If the edges are numbered then it is possible to interpret $EsubsetBbb N$, and then $linBbb R_{>0}^E$ is a function that assign to each $kin E$ it length $l(k)in (0,infty)$.
Where this text comes? Can you give a link to the article?
$endgroup$
$begingroup$
Here is the link to the article ;)
$endgroup$
– 01000110
Dec 4 '18 at 20:36
add a comment |
$begingroup$
The notation $Bbb R_{>0}^E$ usually means the set of functions from $E$ to $Bbb R_{>0}$, and $Bbb R_{>0}:=(0,infty)$.
However in the cited text it is not so clear what it means. If the edges are numbered then it is possible to interpret $EsubsetBbb N$, and then $linBbb R_{>0}^E$ is a function that assign to each $kin E$ it length $l(k)in (0,infty)$.
Where this text comes? Can you give a link to the article?
$endgroup$
$begingroup$
Here is the link to the article ;)
$endgroup$
– 01000110
Dec 4 '18 at 20:36
add a comment |
$begingroup$
The notation $Bbb R_{>0}^E$ usually means the set of functions from $E$ to $Bbb R_{>0}$, and $Bbb R_{>0}:=(0,infty)$.
However in the cited text it is not so clear what it means. If the edges are numbered then it is possible to interpret $EsubsetBbb N$, and then $linBbb R_{>0}^E$ is a function that assign to each $kin E$ it length $l(k)in (0,infty)$.
Where this text comes? Can you give a link to the article?
$endgroup$
The notation $Bbb R_{>0}^E$ usually means the set of functions from $E$ to $Bbb R_{>0}$, and $Bbb R_{>0}:=(0,infty)$.
However in the cited text it is not so clear what it means. If the edges are numbered then it is possible to interpret $EsubsetBbb N$, and then $linBbb R_{>0}^E$ is a function that assign to each $kin E$ it length $l(k)in (0,infty)$.
Where this text comes? Can you give a link to the article?
answered Dec 4 '18 at 20:21
MasacrosoMasacroso
13k41746
13k41746
$begingroup$
Here is the link to the article ;)
$endgroup$
– 01000110
Dec 4 '18 at 20:36
add a comment |
$begingroup$
Here is the link to the article ;)
$endgroup$
– 01000110
Dec 4 '18 at 20:36
$begingroup$
Here is the link to the article ;)
$endgroup$
– 01000110
Dec 4 '18 at 20:36
$begingroup$
Here is the link to the article ;)
$endgroup$
– 01000110
Dec 4 '18 at 20:36
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%2f3026097%2fwhat-does-mathbbre-gt-0-stand-for%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