Ho scritto il codice avendo impostato il layout giapponese sulla tastiera, ci sono caratteri codificati in modo non corretto, riprova ora

Codice PHP:
// index.php
session_start();
$_SESSION['pagina'] = 1; 
Codice PHP:
// prova.php
session_start();

if( isset($_SESSION['pagina']) )
{
    echo 'la variabile di sessione pagina vale ' . $_SESSION['pagina'];
}
else
{
    echo 'variabile di sessione non settata';
} 
Dovesse continuare a non funzionare, prova a riscrivere a mano il codice.