Помимо работы Чичильнского, упомянутой Майклом, еще одно интересное использование топологии в теории социального выбора появляется в работе Редекопа по теореме Эрроу об экономических областях.
- Редекоп, J. (1991). Функции социального обеспечения в ограниченных экономических сферах. Журнал экономической теории, 53, 396–427.
- Редекоп, J. (1993a). Стрелки противоречивые экономические области. Социальный выбор и благосостояние, 10, 107–126.
- Редекоп, J. (1993b). Топология анкеты на некоторых пространствах экономических предпочтений. Журнал математической экономики, 22, 479–494.
- Редекоп, J. (1993c). Функции социального обеспечения в параметрических областях. Социальный выбор и благополучие, 10, 127–148.
- Редекоп, J. (1995). Теоремы о стрелках в экономических условиях. В WA Barnett, H. Moulin, M. Salles & NJ Schofield (Eds.), Социальный выбор, благосостояние и этика (стр. 163–185). Кембридж: издательство Кембриджского университета.
- Редекоп, J. (1996). Теоремы стрелок в смешанных товарах, стохастических и динамических экономических средах. Социальный выбор и благосостояние, 13, 95–112.
Теорема о невозможности Эрроу была первоначально доказана для абстрактного набора альтернатив, позволяя каждому возможному профилю предпочтений по сравнению с этим набором альтернатив. Вопрос, который задал Редекоп (и другие), заключался в следующем: существует ли эквивалент теоремы Эрроу, когда альтернативы представляют собой наборы товаров, а агент имеет «классические» предпочтения над этими товарами (монотонный, выпуклый, непрерывный, эгоистичный, ...).
Точнее говоря, вопрос заключался в том, будет ли существовать функция социального обеспечения, удовлетворяющая трем арровским аксиомам (Независимость от нерелевантной альтернативы, слабое Парето и отсутствие диктатуры) в этих экономических областях (см. Ле Бретон, Мишель и Джон А. Веймарк ». Глава семнадцатилетняя теория социального выбора об экономических доменах. «Справочник по социальному выбору и благосостоянию 2 (2011): 191-299 для большого обзора, на котором основан этот ответ).
Грубо говоря, работа Редекопа показывает, что для некоторых из этих экономических проблем, если область предпочтений допускает функцию социального обеспечения в Аррове, область должна быть «маленькой» в некотором топологическом смысле. Например, в Redekop (1991) он вводит гениальную топологию для наборов предпочтений, которую он назвал топологией вопросника , и показывает, что в экономике общественных благ, если область предпочтений допускает функцию социального обеспечения Аррована, тогда область должна быть нигде не плотным в соответствии с этой топологией (т. е. замыкание области не содержит открытого множества).