Intelligent Agent Foundations Forumsign up / log in
by Stuart Armstrong 567 days ago | Scott Garrabrant likes this | link | parent

A small note: it’s not hard to construct spaces that are a bit too big, or a bit too small (raising the possibility that a true \(X\) lies between them).

For instance, if \(I\) is the unit interval, then we can map \(I\) onto the countable-dimensions hypercube \(I^\omega\) ( https://en.wikipedia.org/wiki/Space-filling_curve#The_Hahn.E2.80.93Mazurkiewicz_theorem ). Then if we pick an ordering of the dimensions of the hypercube and an ordering of \(\mathbb{Q}\cap I\), we can see any element of \(I^\omega\) - hence any element of \(I\) - as a function from \(\mathbb{Q}\cap I\) to \(I\).

Let \(C(I)\) be the space of continuous functions \(I \to I\). Then any element of \(C(I)\) defines a unique function \(\mathbb{Q}\cap I \to I\) (the converse is not true - most functions \(\mathbb{Q}\cap I \to I\) do not correspond to continuous functions \(I \to I\)). Pulling \(C(I)\) back to \(I\) via \(I^\omega\) we define the set \(Y \subset I\).

Thus \(Y\) maps surjectively onto \(C(I)\). However, though \(C(I)\) maps into \(C(Y)\) by restriction (any function from \(I\) is a function from \(Y\)), this map is not onto (for example, there are more continuous functions from \(I - \{1/2\}\) than there are from \(I\), because of the potential discontinuity at \(1/2\)).

Now, there are elements of \(I-Y\) that map (via \(I^\omega\)) to functions in \(C(Y)\) that are not in \(C(I)\). So there’s a hope that there may exist an \(X\) with \(Y \subset X \subset I\), \(C(I) \subset C(X) \subset C(Y)\), and \(X\) mapping onto \(C(X)\). Basically, as \(X\) `gets bigger’, its image in \(C(Y)\) grows, while \(C(X)\) itself shrinks, and hopefully they’ll meet.



NEW LINKS

NEW POSTS

NEW DISCUSSION POSTS

RECENT COMMENTS

[Note: This comment is three
by Ryan Carey on A brief note on factoring out certain variables | 0 likes

There should be a chat icon
by Alex Mennen on Meta: IAFF vs LessWrong | 0 likes

Apparently "You must be
by Jessica Taylor on Meta: IAFF vs LessWrong | 1 like

There is a replacement for
by Alex Mennen on Meta: IAFF vs LessWrong | 1 like

Regarding the physical
by Vadim Kosoy on The Learning-Theoretic AI Alignment Research Agend... | 0 likes

I think that we should expect
by Vadim Kosoy on The Learning-Theoretic AI Alignment Research Agend... | 0 likes

I think I understand your
by Jessica Taylor on The Learning-Theoretic AI Alignment Research Agend... | 0 likes

This seems like a hack. The
by Jessica Taylor on The Learning-Theoretic AI Alignment Research Agend... | 0 likes

After thinking some more,
by Vadim Kosoy on The Learning-Theoretic AI Alignment Research Agend... | 0 likes

Yes, I think that we're
by Vadim Kosoy on The Learning-Theoretic AI Alignment Research Agend... | 0 likes

My intuition is that it must
by Vadim Kosoy on The Learning-Theoretic AI Alignment Research Agend... | 0 likes

To first approximation, a
by Vadim Kosoy on The Learning-Theoretic AI Alignment Research Agend... | 0 likes

Actually, I *am* including
by Vadim Kosoy on The Learning-Theoretic AI Alignment Research Agend... | 0 likes

Yeah, when I went back and
by Alex Appel on Optimal and Causal Counterfactual Worlds | 0 likes

> Well, we could give up on
by Jessica Taylor on The Learning-Theoretic AI Alignment Research Agend... | 0 likes

RSS

Privacy & Terms