Fork me on GitHub
Math for the people, by the people.

User login

function space

Synonym: 
space of functions
Type of Math Object: 
Topic
Major Section: 
Reference
Groups audience: 

Mathematics Subject Classification

54C35 no label found26-00 no label found46-00 no label found30H05 no label found

Comments

Hello everybody!

I tried to understand what to do when there is a concept which is linked wrongly, but I failed to apply it to the situation in this entry (I also didn't understand the whole policy) :(. Thus let me ask to help with it. So here is the problem:

in the entry 'function spaces' there is a word 'domain' which is meant domain of the function. There are 4 'domain'-related entries on PM, and the linker links this word not to domain of the function. I tried in the linking policy to type:

priority 10 domain
priority 200 domain

but nothing changed. So what should be done here?

Thanks in advance.

A sure-fire way of making sure that the links point to the right entries is to use the \PMlinkname or \PMlinkid commands. For instance, if I want to be sure that the word "binomial" linked to the entry "binomial coefficient", I would tpye \PMlinkname{binomial}{BinomialCoefficient} (the canonical name of the entry coes in the second slot) or \PMlinkid{binomial}{273} (the canonical number of the entry "binomial coefficient is 273), whilst if I wanted it to link to the entry "binomial theorem", I would type \PMlinkname{binomial}{BinomialTheorem} or \PMlinkid{binomial}{247}.

Your main problem is that linking priority is an element of the metadata of the entry that *defines* the term in question (in this case, the entry that defines "domain" in the function sense). So, you need to file a correction to the owner of that domain entry asking them to add a linking policy entry. This policy would basically look like:

priority 10

(the term isn't needed since its the title).

I'm not sure what you were trying to achieve with the "priority 200" line, though.

I think, to do what you want to do (create one default/primary sense of "domain"), you only need the single linking policy statement in that one entry.

Hope this helps.

apk

Thanks for reply. As it is written in the documentation one should avoid this way of 'brutal' ;) forcing the linking. Since then in EVERY entry with such problem one needs to do use the commands \PMlinkname,\PMlinkid (but thanks for your examples, now it is clear for me how to use them). Instead there is this concept of linking policy, where one changes something only in the linked entry, and then everything should work auomatically. However the mechanism of the linking policy is unclear for me :(

Thanks for reply!

> you need to file a correction to
> the owner of that domain entry
> asking them to add a linking policy entry

I'll do this. Now the 'linking policy' thing is a little bit more clear to me, but still not complete: it just seems too easy to work :). Assume the owner will change priority to higher. How then linker will decide to link the 'domain' here to the 'domain' in function entry? Will it look on the classification? Then he should decide that classification of the 'function spaces' which is like

"functional analysis", "real functions", "functions of a complex variable"

is more related to

"math.logic and foundations"

which is classification of the domain function, then to

"functions of a complex variable"

which is classification of the 'wrong' domain link. If the linker would ask me, then I would say that the second option is more preferable, since these two entries have the same classifications and thus wrong link will remain. Thus it seems to me that linking policy won't work here, or?

The priority element of the linking policy only gets used if classification doesn't narrow things down. So if there's a category match with one of the "wrong" senses of domain, this won't help.

If this is the case, there is likely a categorization problem somewhere.

apk

> if there's a category match
> with one of the "wrong" senses of domain,
> [linking policy] won't help.

Yea... I see now. Then I'll use the method proposed by Ray: command \PMlinkname. Since the categorizations are right: categorization of the right domain entry is "math.logic" which is far away from categorization of function spaces.

Many thanks for help.
Serg.

Wait a minute =)

The categories dont *have* to match. Categorization is only a problem if there is a *wrong* match. So, if the categorization of function spaces matches one of the domain categorizations, then linking will pick that wrong sense of "domain", regardless of the priority of the right sense.

However, if there is no match, the priority should still help. Can you look at the entry with the wrong "domain" sense and confirm that it has a matching categorization? If not, setting the link priority on the correct "domain" entry should fix the problem.

Manual linking commands should really be avoided when not necessary.

apk

> Can you look at the entry with
> the wrong "domain" sense and
> confirm that it has a matching categorization?

yea, that's what I already did. 'Function spaces' have categorizations:

46-00 (Functional analysis :: General reference works )
26-00 (Real functions :: General reference works )
30H05 (Functions of a complex variable :: Spaces and algebras of analytic functions)

the right domain entry (domain of the function) has categorization:

03E20 (Mathematical logic and foundations :: Set theory :: Other classical set theory )

and the wrong domain entry (domain as a set) has categorization:

30-00 (Functions of a complex variable :: General reference works )

So, you see that the wrong one has much more match with 'f.spaces' than the right one :(

May be one should add some more categorizations to the right domain entry... What will happen if there will be two domain entries with categorizations like

(domain as a function)
03E20 (Mathematical logic and foundations :: Set theory :: Other classical set theory )
46-00 (Functional analysis :: General reference works )
26-00 (Real functions :: General reference works )
30-00 (Functions of a complex variable :: General reference works )

(domain as set)
30-00 (Functions of a complex variable :: General reference works )
and some categorization from the set theory

So, then both have matching categorization with "f.spaces", what will be linked?

Let me make a suggestion to the entry "function spaces". Due to the recent changes in this entry, there appears such a notion as regularity index. So, my suggestion is to think of some more motivated and explained introduction of this thing, since for the moment its presentation is rather vague.

Regards
Serg.
-------------------------------
knowledge can become a science
only with a help of mathematics

Subscribe to Comments for "function space"