Multivariable function that is injective?

Click For Summary

Discussion Overview

The discussion revolves around the possibility of finding a multivariable function that is injective, specifically in the context of a program that requires a single numerical output based on multiple input labels. Participants explore various mathematical properties and examples of such functions, while also considering computational implications.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant asks if it is possible to find a function $$ y = f(a,b,c,..) $$ that is injective for a given set of inputs.
  • Another participant requests clarification on the domain and codomain of the proposed function.
  • A participant mentions that there are injective functions $$ g: \mathbb{R} \times \mathbb{R} \to \mathbb{R} $$ and suggests a specific form $$ f(a,b,c) = g(a,g(b,c)) $$, noting the complexity of such functions.
  • There is a suggestion that using the set of three numbers as a label might be simpler than finding an injective function.
  • One participant expresses concern about the time complexity of passing entire labels and requests an example of an injective function from $$ \mathbb{R} \times \mathbb{R} $$ to $$ \mathbb{R} $$.
  • Another participant states that the sets $$ \mathbb{R}^m $$ and $$ \mathbb{R}^n $$ have the same cardinality for all $$ m, n $$.
  • A participant proposes considering a function $$ \mathbb{Q} \times \mathbb{Q} \rightarrow \mathbb{Q} $$ as it may be easier to find examples, although it may not be useful in a computational context.
  • There is a discussion about the processing of strings and their impact on time complexity, with differing views on whether concatenating strings would increase complexity.
  • One participant clarifies that $$ m' $$ and $$ n' $$ refer to the numerator and denominator of a second fraction in a proposed function.

Areas of Agreement / Disagreement

Participants express differing views on the feasibility of finding an injective function and the implications of using various representations for input labels. There is no consensus on a specific solution or approach, and multiple competing ideas are presented.

Contextual Notes

Some participants note the complexity and potential inefficiency of certain injective functions, while others question the assumptions regarding time complexity related to string processing. The discussion includes unresolved mathematical steps and dependencies on definitions.

NotASmurf
Messages
150
Reaction score
2
Hey all, is it possible to find a function that for $$ a,b,c.. \in \mathbb{R} $$ $$ y= f(a,b,c,..) , \hspace{5mm} y= \rho , \rho \in \mathbb{R} \hspace{2mm} for \hspace{2mm} only \hspace{2mm} 1 \hspace{2mm} set \hspace{2mm} of \hspace{2mm} a,b,c.. $$
Any help appreciated
 
Mathematics news on Phys.org
What's your domain and codomain?
 
I'm fine with any that isn't completely trivial (if there are any trivial solutions), will try adapt to whatever I can get, basically this is for a program that has a graph, and a vertex has to have a single number input as a function of the labels of the vertices already in the path. Inputing the entire path so far will take up way too many resources.
 
There are injective functions ##g: \mathbb{R} \times \mathbb{R} \to \mathbb{R}##, you can use f(a,b,c)=g(a,g(b,c)). Those functions are messy, and need infinite precision to be truly injective, I'm quite sure you don't want to use them.

More context would help, but I guess there is an easier solution. Why can't you just use the set of three numbers as label? Expressed as string or whatever if the data format is an issue.
 
  • Like
Likes   Reactions: NotASmurf
Don't want to pass entire label as worsens the time complexity of the program by at the minimum of increasing the power by 1. /: Could you please list an example of one of the functions which satisfies $$ \mathbb{R} \times \mathbb{R} \to \mathbb{R} $$ ?
 
The sets ##\mathbb R^m## and ##\mathbb R^n## have the same cardinality for all ##m,n##
 
Here is an example
Your label will have to be longer than the length of a single coordinate, in a suitable format. If you have N possible values for the single coordinate, you need N3 possible labels.

I don't see how concatenating strings would increase the time complexity of anything.
 
Maybe you're interested in a function ##\mathbb{Q}\times \mathbb{Q}\rightarrow \mathbb{Q}## instead? That is much easier to give, but I'm sure it's not going to be useful in a computational context.

In any case, given ##m/n## and ##m'/n'## in reduced form (meaning that ##m## and ##n## have no common divisors and ##n>0## and likewise for ##m'## and ##n'##), you can send this to ##2^m 3^n 5^{m'} 7^{n'}##.
 
mfb said:
I don't see how concatenating strings would increase the time complexity of anything.

The processing required for what those strings will be processed as it will
 
  • #10
micromass said:
Maybe you're interested in a function ##\mathbb{Q}\times \mathbb{Q}\rightarrow \mathbb{Q}## instead? That is much easier to give, but I'm sure it's not going to be useful in a computational context.

In any case, given ##m/n## and ##m'/n'## in reduced form (meaning that ##m## and ##n## have no common divisors and ##n>0## and likewise for ##m'## and ##n'##), you can send this to ##2^m 3^n 5^{m'} 7^{n'}##.
What's $$ m' $$ and $$n'$$?
 
  • #11
NotASmurf said:
The processing required for what those strings will be processed as it will
It is linear in the number of vertices, which is as good as it can get.

m' and n' are the numerator and denominator of the second fraction.
 

Similar threads

  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 30 ·
2
Replies
30
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
4
Views
7K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K