Що є прикладом міри Хаара?

Основним застосуванням міри Хаара є доведення теореми повної звідності (теорема 11) і співвідношення ортогональності (див. нижче).

У математичній статистиці мірою Хаара є використовується для попередніх заходів, які є попередніми ймовірностями для компактних груп перетворень.

Міра Хаара була вперше введена Хааром [5] у 1933 році. У своїй статті він довів існування міри Хаара на кожній локально компактній групі, топологія якої має зліченний базис. Узагальнення цього результату на довільні локально компактні групи дав Вейль [9] за допомогою аксіоми вибору.

Ліва міра Хаара на G є ненульовою лівою інваріантною мірою Радона на G. Відповідно ми можемо визначити праву міру Хаара. Нагадаємо визначення міри Радона: вона скінченна на компактних множинах, зовнішня регулярна для борелівських множин і внутрішня регулярна для відкритих множин.

Каскад Хаара — це алгоритм, який може виявляти об’єкти на зображеннях, незалежно від їх масштабу зображення та розташування. Цей алгоритм не такий складний і може працювати в реальному часі. Ми можемо навчити каскадний детектор хаара виявляти різні об’єкти, наприклад автомобілі, велосипеди, будівлі, фрукти тощо.