Primeiro, podemos reformular sua pergunta da seguinte maneira:
Dado um e uma preferência esperada pelo utilitário , qual é o subconjunto mínimo de necessário para garantir que ele seja representado por . u∗:L→R≿≿u∗1
Você pode fazer isso em observações, desde que todas as dimensões de sejam "representadas" nas observações. Vamos explorar como isso pode ser feito e, esperançosamente, no processo, tornar minha reivindicação coerente.|X|−1L
Por enquanto, assuma que é finito. Seja os melhores e os piores elementos de acordo com ; O wlog assume que e . É claro que deve ser , ou temos um contra-exemplo da hipótese de que é representado por . Agora, para cada outro elemento , precisamos apenas saber se
Xb,wXu∗u∗(b)=1u∗(w)=0b≿w≿u∗x∈Xu∗(x)b+(1−u∗(x))w∼x
Se isso for verdade, pelas propriedades de EU, qualquer representação (também normalizada em ) deve definir como .b,wu(x)u∗(x)u(b)+(1−u∗(x))u(w)=u∗(x)1+(1−u∗(x))0=u∗(x)
Agora, se é infinito, pode não haver um elemento melhor e pior, você terá que lidar com casos em que o elemento está acima ou abaixo dos limites da normalização. Essa questão surge também na prova do teorema do espaço de mistura e é tratada da mesma maneira - pegue misturas com os elementos extremos e calcule os pesos de acordo.Xx
É fácil mostrar que menos dados do que os anteriores deixam um grau de liberdade que pode ser explorado. Em outras palavras, você deve verificar cada dimensão, mas basta fazer isso com uma única observação.
Pois qual é o valor disso é um caso específico de um resultado muito mais geral: uma função linear é completamente determinada por seu comportamento em vetores de base! é a sua base para .XL
[1] Eu poderia estar entendendo sua pergunta errado. Talvez você queira dizer que ultrapassou não e você não tem acesso às propriedades cardinais de . Se for esse o caso, a resposta ainda permanece, mas a pergunta parece bem sem sentido.u∗XLu∗