Тёплый воздух представляет из себя молекулы, движущиеся быстро. Холодный же - молекулы, движущиеся медленно. Соответственно, они оседают вниз, потому что менее подвижны, а более подвижные, отталкиваясь друг от друга, поднимаются наверх.
А на вершинах гор образуется лёд не потому, что тёплый воздух движется вверх, а потому что они находятся слишком далеко от тёплой, нагретой солнцем, земли.